theorem Th24:
  Cl Int KurExSet = [. 4,+infty .[ by Th18,BORSUK_5:55,TOPS_1:def 1;
