For any two sets, prove that:
A ∩ (A ∪ B) = A
= (A ∩ A) ∪ (A ∩ B) [∵intersection is distributive over union]
= A ∪ (A ∩ B) [∵ A ∩ A = A]
= A.