Se demuestra también que formula_86 es formula_89 extendida con restricciones cualificadas.