莫比乌斯变换
由于formula_52，且莫比乌斯变换是可逆的，所以复合formula_53把0映为0，把单位圆盘映到自身。从而可以使用施瓦茨引理，得到