How to Prove the Cartesian Product of Sets Distributes Over the Intersection of Sets