theorem Th2: :: NUMBERS:2

RAT c< REAL