theorem :: NUMBERS:14

INT c= RAT by Th4;