theorem :: NUMBERS:26

INT <> COMPLEX by Th1, Th2, Th4, XBOOLE_1:56;