theorem Th6: :: NUMBERS:6

INT c< COMPLEX by Th1, Th5, XBOOLE_1:56;