Proof. [04TT]
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 vanishes on
By subtracting a linear function of the form we may assume that . Then has length in the direction, where as . Furthermore, has length exceeding in the directions, where is the Lipschitz constant of in . Finally, contains the unit ball in the subspace spanned by . We conclude that
which contradicts Lemma 2.2 as for . ∎