for R, S being Relation st R,S are_isomorphic & R is well-ordering holds
S is well-ordering by Th44;