theorem Th4: :: NUMBERS:4

INT c< RAT