Proof. [00R7]
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.
By Remark 3.21, the introduced in the above proof is actually the gradient of the extension over . By the proof above, we know on . This directional derivative can only increase as moves in the -direction. But on since the extension is admissible, so everywhere, hence the claim. ∎