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

theorem
  Int Cl KurExSet <> Cl Int KurExSet by Th26,BORSUK_5:34,45;
