Sea G un grupo topológico T, entonces G es regular, y, por lo tanto, Hausdorff.