Como $(X, \tau)$ [[topologia:exemplo:espseqloccompacto | é localmente compacto]] de Hausdorff, segue que $(X, \tau)$ é completamente regular.