A Simple Proof

Prove

(1)

under the assumption(s)

(2) ,

(3) .

We prove (1) by natural deduction.

We prove (1) in both directions.

Direction from left to right:

Direction from right to left: