formula_3 y formula_21 está incluido en formula_22 entonces formula_15