theorem :: NUMBERS:33

REAL c< ExtREAL by Th31, Th32;