for T being non empty homogeneous TopSpace st ex p being Point of T st {p} is closed holds
T is T_1