theorem :: NUMBERS:23

RAT <> COMPLEX by Th1, Th2;