>>437 の続き。

RF(D)/G の元、即ちサイクル C で μ(C) = C となるものを考える。
C の元の一つを f とする。

C の元の個数を n とすると (ρ^n)(f) = f だから >>358 より n は
偶数である。n = 2d とする。

i を任意の有理整数としたとき f_i = (ρ^i)(f) と書く。
C = { f_0, f_1, . . . , f_(n-1) } である。

μ(C) = C だから μ(f) は C の元である。
μ(f) = f_r とする。ここで 0 ≦ r ＜ n である。

f = (a, b, c) とすると μ(f) = (c, b, a) である。
>>335 より a と c の符号は反対だから r は奇数である。
r = 2m - 1 とする。ここで 1 ≦ m ≦ d である。

μ(f) = f_r の両辺に μ を作用させると、f_0 = μ(f_r)
f_(r-1) → f_r だから >>435 より f_0 → μ(f_(r-1))

一方 f_0 → f_1 だから μ(f_(r-1)) = f_1
一般に h を任意の有理整数としたとき μ(f_(r-h)) = f_h
特に h = m とすると μ(f_(m-1)) = f_m
よって f_m は両面形式である(>>438)。