theorem :: NUMBERS:12

RAT c= REAL by Th2;