theorem :: NUMBERS:12
RAT c= REAL by Th2;