theorem Th6:
  INT c< COMPLEX by Th1,Th5,XBOOLE_1:56;
