theorem
  R,S are_isomorphic & R is well-ordering implies S is well-ordering
by Th44;
