theorem Th3: :: NUMBERS:3

RAT c< COMPLEX by Th1, Th2, XBOOLE_1:56;