The generating function of the coefficients is found to be

using the expansion (7.6) and

we thus have the identity