距离近。如果有一点使得这两个距离相等，那么formula_12就一定是一个旋转。如果在单位圆盘内画一个圆心在原点的圆（半径小于1），那么这个圆在formula_12映射下的像一定在这个圆所包围的区域内部。
证明.证明直接应用最大模原理，设则函数formula_19在formula_20内全纯，包括原点（由于"f"(0) = 0且"f"是全纯函数）。设formula_21为圆心在原点半径为formula_22的闭圆盘。根据最大模原理，对任意formula_23存在边界上一点for