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