Proof. [04TR]
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.
Assume by translation that is the center of mass of . By subtracting a linear function we can assume that
By John’s Lemma, there is a linear transformation that normalizes . Let
It is easy to check that
where . Then is an upper barrier for , so
Since , the conclusion follows. ∎