Direction from left to right:

We assume

(Commutativity of "Á.LA)

and show

(Commutativity of "Á.RC) .

Formula (Commutativity of "Á.RC) is true because it is subsumed by (Commutativity of "Á.LA).