Direction from left to right:

We assume

(Associativity of "À.LA)

and show

(Associativity of "À.RC) .

We prove the individual conjunctive parts of (Associativity of "À.RC):

Proof of (Associativity of "À.RC.1) :

Proof of (Associativity of "À.RC.2) :