Cardinality of Cartesian Product of Finite Sets/Corollary/Proof 1