σ^6(g_0(ζ)) = g_0(ζ) だから g_0(ζ) は３項周期、
つまり、η_0, η_1, ..., η_5 から構成される。
他の g_i(ζ) も同様である。

まず、g_0(ζ) を具体的に η_0, η_1, ..., η_5 で表してみる。

g_0(ζ) = f(ζ)f(ζ^7)f(ζ^(-8))
= (1 + ζ + ζ^6)(1 + ζ^7 + ζ^4)(1 + ζ^(-8) + ζ^9)
= (1 + ζ^7 + ζ^4 + ζ + ζ^8 + ζ^5 + ζ^6 + ζ^13 + ζ^10)
* (1 + ζ^(-8) + ζ^9)
= 3 + ζ + ζ^2 + ζ^3 + ζ^4 + 2ζ^5 + ζ^6 + ζ^7 + ζ^8
+ ζ^9 + 2ζ^10 + ζ^11 + ζ^12 + 2ζ^13 + ζ^14 + 2ζ^15
+ 2ζ^16 + 2ζ^17 + ζ^18
= 3 + η_0 + η_1 + η_2 + η_3 + 2(η_4 + η_5)
= 2 + η_4 + η_5

ここで、自明な等式(>>152)
η_0 + η_1 + η_2 + η_3 + η_4 + η_5 = -1 を使った。