Theorem 3.7.  Let    be an analytic function on the domain D.   If    for all  ,  then f is constant on D.  

Proof.

Proof of Theorem 3.7 is in the book.

Complex Analysis for Mathematics and Engineering