Proving A-(B∩C) = (A-B) ∩ (A-C)