Proof: Cartesian Product with Set Intersection | Set Theory