Expandiendo formula_12 en formula_13 obtenemos