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

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

This can be expressed as two separate theorems: