Description: Lemma for fpwwe28465. Given two well-orders and
of parts of , one is an initial segment of the
other. (The hypothesis is in order to
break the symmetry
of and .) (Contributed by Mario
Carneiro,
15-May-2015.)