Description: Transitive law for ordinal numbers. Exercise 3 of TakeutiZaring p. 40. (Contributed by NM, 6-Nov-2003)