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

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

This can be expressed as two separate theorems: