Page 247 - Curvature and Homology

and

Substituting in (6.12.5) and making use of the fact that

I we obtain

1 Now, since

and

But

1 from which we conclude that

Summing (6.12.7) with respect to r and comparing the result with
(6.12.6) we obtain