theorem Th19:
  Cl (Cl KurExSet`)` = [. 4,+infty .[ by Th18,BORSUK_5:55;
