Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
We differentiate the series definition (4.9) of to get
|
|
|
Using the elementary formula for indefinite integrals
|
|
|
we see
|
|
|
or equivalently
|
|
|
Thus after summation
|
|
|
The ‘morever’ statement follows from summing over the elementary differential relations
|
|
|
∎