Con ese resultado, si tenemos formula_10, entonces: