補題
z を複素上半平面 H の点で |z| ＜ 1 とする。
このとき |T(z)| ＞ 1 である。
ここで、T = (0, -1)/(1, 0) である。

証明
自明である。