H を複素上半平面とする。
即ち H = {z ∈ C ; Im(z) > 0 } である。

>>198 より SL_2(R) は H に作用する。

問題
g ∈ SL_2(R) で g(z) = z となる z ∈ H が３個以上あれば、
g = ±1 である。