Rule of Distribution/Conjunction Distributes over Disjunction

Theorem
Conjunction distributes over disjunction: