theorem :: NUMBERS:24

INT <> RAT by Th4;