Rule of Distribution/Conjunction Distributes over Disjunction/Right Distributive/Formulation 2

Theorem
The conjunction operator is right distributive over the disjunction operator:
 * $\vdash \left({\left({q \lor r}\right) \land p}\right) \iff \left({\left({q \land p}\right) \lor \left({r \land p}\right)}\right)$