theorem Th15:
  (Cl (Cl (Cl KurExSet)`)`)` = ]. -infty, 2 .[ by Th14,TOPMETR:17,XXREAL_1:224
