Sea formula_13 un grupo topológico compacto, que se asume "Hausdorff".