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.
Suppose for some we have but .
Let . Then means that on ,
while means that on .
We have that , since is smooth outside .
However, we can also expand
|
|
|
and the fact that on again implies that .
Since , and , we see again that
|
|
|
Recall that . This shows that is contained in the interior of ,
which is impossible because we assumed .
∎