Set Theory Proof: A subset of B and C subset of D then A x C is a subset of B x D