theorem :: TSP_1:12

for X being non empty TopSpace
for x being Point of X holds {x} is T_0 by Th9, TEX_2:30;