theorem :: NUMBERS:30

NAT <> COMPLEX by Th1, Th2, Th8, XBOOLE_1:56;