let T be non empty discrete TopSpace; :: thesis: T is T_1
for p being Point of T holds {p} is closed by TDLAT_3:18;
hence T is T_1 by URYSOHN1:27; :: thesis: verum