Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
It follows from the comparison principle (see [GZ 2]) that
Since on , we infer for
almost every point, where .
Reversing the roles of yields for
almost every point. Therefore ,
hence is constant by Theorem 3.4 in [GZ 2].
Finally since and .
∎