Por el teorema anterior, tenemos que si formula_293 y formula_299, entonces formula_300.