De hecho este valor existe si y sólo si formula_129 (la existencia de soluciones depende de la condición formula_130, mientras que la unicidad depende de que el formula_129).