trivial si y sólo si el rango formula_629 de formula_736 es estrictamente menor que formula_115, y siempre será posible encontrar