Proof. [02NS]

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.

This follows easily from the definition of ${\mathcal{M}}(f)$ and the properties of the Legendre correspondence of piecewise affine functions. ∎