PROOF:

We try to prove by simplification:

Now we prove the formula

by induction on .

Induction base for :

We prove

.

Induction hypothesis for :

.

Induction step for :

We prove

.

For this, we take in all variables arbitrary but fixed and prove