Union Distributes over Intersection/Proof 1