Proof: [0352]

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: This follows from Stokes’ formula as in [CD12], Lemma 1.3.8. $\square$