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.
By Corollary 5.23 the restriction of the
canonical metric of is the canonical metric of . Therefore, the equality follows from Theorem
2.46(2).
To prove the second equality, choose . We will
follow the notation of Proposition 5.75. By Theorem
6.6,
|
|
|
By Proposition 4.47,
By Proposition 5.75
|
|
|
Since , we obtain
|
|
|
proving the result.
∎