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 be the projection.
For , we set .
Then and , that is, .
Moreover, , and
by Lemma 1.10, .
Thus the assertion follows from Lemma 1.11.
∎