theorem :: FRECHET2:43

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