Talk:Cartesian Product of Intersections/General Case

Perfect proof.