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.
Let’s focus on . By Proposition 4.4,
|
|
|
But by Lemma 4.6 we have so hence the claim.
∎