reserve T for non empty TopSpace;
reserve A for Subset of T;

theorem Th23:
  Int KurExSet = ]. 4, 5 .[ \/ ]. 5,+infty .[ by Th18,TOPS_1:def 1;
