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

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

This can be expressed as two separate theorems: