reserve i,j,k for Element of NAT;
reserve a,b for Element of REAL;
reserve r,s,t for Element of RAT+;
reserve i,j,k for Element of omega;

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