theorem
  [{},{}] in TOL(X)
proof
  {} in Toler_on_subsets(X) & {} c= X by Th28;
  hence thesis by TOLER_1:14;
end;
