La función "siguiente" debe indicar de alguna forma cuándo no existen más soluciones candidatas para el problema "P" después de la última.