Set Theory Proof with Cartesian Product of Sets and Intersection A x (B ...