theorem
  RAT c= COMPLEX by Th3;
