theorem
  for T being TopSpace holds {}T is scattered;
