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.
Set . If then is -polar
(theorem 3.2) and there is nothing to prove:
.
So we assume in the sequel hence .
If then
with on . Since ,
we get
|
|
|
whence .
If then hence
|
|
|
∎