We prove by natural deduction.

We prove in both directions.

Direction from left to right:

We assume

and show

.

We prove by the deduction rule.

We assume

and show

.

From and we obtain by inverse modus ponens

.

Formula is simplified to

.

Formula is true because it is identical to .

Direction from right to left: