Aplicando las mismas identidades que con formula_1 y sabiendo que formula_8, también es cero, nos queda: