Claim:
A x (B u C) = (A x B) u (A x C)
If (x,y) is in the LHS then by definition x is in A and y is in either B or C.
If y is in B, then by definition (x,y) is in AxB. Similarly if y is in C then (x,y) is in AxC.
Hence LHS c RHS.
If (x,y) is in the RHS then either x is in A and y is in B, or x...