>>260 において c = 0 なら g = ±1 であり、w = z である。

証明
ad - bc = 1 だから c = 0 より a = d = ±1 である。
よって w = z ± d となる。
z と w は G に属するから d = 0 である。
証明終