Expandiendo formula_12 entre formula_13 obtenemos