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