
theorem Th26:
  for T being non empty TopSpace st T is T_1 for p being Point of
  T holds Cl{p} = {p}
by URYSOHN1:19,TOPS_1:5,PRE_TOPC:18;
