Usando la identidad formula_64 obtenemos: