theorem :: NUMBERS:15

INT c= REAL by Th5;