Queremos mostrar que a topologia X($\tau_{X}$) é $T_{0}$ está prova é direta, pois X é $T_{2}$ (Hausdorff) ([[.:smirnov2|Demonstração]]).