theorem Th12:
  Cl (Cl KurExSet)` = ]. -infty, 2 .] by Th11,BORSUK_5:64;
