La conjetura asegura que "n" tiene un tiempo de parada total bien definido.