
theorem
  for T being non empty TopSpace st for p being Point of T holds Cl({p})
  = {p} holds T is T_1 by Lm1;
