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. ∎
Verified tagged author-source HTML · 1912.02360v1 · cited publication edition alignment unverified.