Primeramente, probaremos que formula_11 es