theorem
  RAT <> COMPLEX by Th1,Th2;
