theorem Th5: :: NUMBERS:5

INT c< REAL by Th2, Th4, XBOOLE_1:56;