某个区域上的解析函数如为实函数，证明其必为常数。