for p being Point of holds {p} is closed by Th34;
hence CofinTop X is T_1 by URYSOHN1:27; :: thesis: verum