theorem Th32: :: NUMBERS:32

REAL <> ExtREAL