theorem Th10: :: NUMBERS:10

NAT c< COMPLEX by Th1, Th9, XBOOLE_1:56;