Direction from right to left:

We assume

(DA.RA)

and show

(DA.LC) .

We prove the individual conjunctive parts of (DA.LC):

Proof of (DA.LC.1) :

Proof of (DA.LC.2) :