Si S tiene más de un punto de acumulación, razonando como en la prueba de