Direction from right to left:

We assume

(Absorption of "À over "Á.RA)

and show

(Absorption of "À over "Á.LC) .

Formula (Absorption of "À over "Á.LC) is true because it is subsumed by (Absorption of "À over "Á.RA).