Cartesian Product Distributes over Intersection