A\(A\(B\(B\C))) = A ∩ (B∩C)