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,