Prove

(Absorption of "À over "Á)

with no assumptions.

We prove (Absorption of "À over "Á) by natural deduction.

We prove (Absorption of "À over "Á) in both directions.

Direction from left to right:

Direction from right to left: