theorem :: NUMBERS:22

RAT <> REAL by Th2;