Absorption Laws (Logic)/Disjunction Absorbs Conjunction/Proof 2

Theorem

 * $p \lor \left ({p \land q}\right) \dashv \vdash p$