theorem
  T is T_2 implies {x} is closed;
