La finitud de S implica que hay al menos un término cuyo valor se debe repetir infinitas veces.