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