Sea formula_31 en formula_15, tal que formula_189.