By applying Specialization: p ∧ q ⇒ p , and Generalization: p ⇒ p ∨ q,

prove that A ∪ (A ∩ B) = A.