Description: An ordinal is less than or equal to its sum with another. Theorem 21 of Suppes p. 209. (Contributed by NM, 7-Dec-2004)