证明.证明直接应用最大模原理，设则函数formula_19在formula_20内全纯，包括原点（由于"f"(0) = 0且"f"是全纯函数）。设formula_21为圆心在原点半径为formula_22的闭圆盘。根据最大模原理，对任意formula_23存在边界上一点formula_24，使得：当"r"趋于1时，得到|"g"("z")| ≤ 1。而且，如果在formula_20内存在某个不为0的"z"，使得"g"("z") = 1，那么把最大模原理应用于"g"，可得