Prove

(Idempotency of "Á)

with no assumptions.

We prove (Idempotency of "Á) by natural deduction.

We prove (Idempotency of "Á) in both directions.

Direction from left to right:

Direction from right to left: