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.
The inequality is trivial.
To prove that equality holds on , pick
and for some SNC model
on which is determined.
By construction, there exists such that
and .
By the definition of , there then exists a
-psh model function such that on
.
Thus on
and .
We conclude that on .
∎