Let be analytic on a domain , and assume that never vanishes. Then if there is a point such that for all , then is constant.
Let be a bounded domain, let be a continuous function on the closed set that is analytic on , and assume that never vanishes on . Then the minimum value of on (which always exists) must occur on . In other words,