Description: Ordering property of ordinal multiplication. Proposition 8.19 of TakeutiZaring p. 63. (Contributed by NM, 14-Dec-2004)