Seja $(X,\tau)$ um espaço topológico compacto, então todo subconjunto infinito de $X$ admite um ponto de acumulação completo