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:16;
hence T is T_1 by URYSOHN1:19; :: thesis: verum