Rule of Distribution/Disjunction Distributes over Conjunction/Left Distributive

Theorem
The disjunction operator is left distributive over the conjunction operator: