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

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