theorem Th14:
  Cl (Cl (Cl KurExSet)`)` = [. 2,+infty .[ by Th13,BORSUK_5:49;
