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

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