theorem :: NUMBERS:29

NAT <> REAL by Th2, Th4, Th7, XBOOLE_1:56;