Observemos, a continuación, que en formula_99, para todo formula_103 y formula_108 en formula_16 se tiene que: