Let and be Well-ordered
We can well-order the Cartesian Product as follows: