Description: Transitive law for ordinal numbers. Theorem 7M(b) of Enderton p. 192. Theorem 1.9(ii) of Schloeder p. 1. (Contributed by NM, 11-Aug-1994)