Proof. [02X9]
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.
Statement (1) follows easily from the definition of . For statement (2), we use that, from (7.6), the integral formula in Proposition 7.3 also holds for the choice of coefficients
for any vector of norm 1 such that . But the coefficients satisfying that formula are unique. Hence, this choice necessarily coincides with for all such . Hence,
and formula (7.9) follows. Statement (3) follows from Formula (7.4) applied to , and together with the additivity of the integral and the fact that the coefficients are uniquely determined. ∎