Set Theory Proof: A x C is a Subset of B x C if and only if A is a Subset of B