theorem Th5:
  INT c< REAL by Th2,Th4,XBOOLE_1:56;
