 Thus such a gives an injection from into .This is impossible since is a cardinal such that no injection into exists.Now define a map of into endowed with the lexicographical wellordering by sending to the least such that .