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