Consideremos formula_12, y formula_13.