λ = 3 のとき、Z[ζ] は、Euclid環である(>>233)から、
一意分解整域である。

円分整数 f(ζ) と g(ζ) の最大公約数は Euclid の互除法により
求まる。
f(ζ) と g(ζ) の最大公約数を (f(ζ), g(ζ)) と書く。
これは、単数の違いを除いて一意に決まる。