Cardinality of Cartesian Product/Corollary/Proof 1