訂正

>>30
>以上から gcd(α, α') = 1 となり >>24 から
>α = β^2 となる β ∈ Z[√(-1)] がある。

α = εβ^2 となる β ∈ Z[√(-1)] がある。
ε は Z[√(-1)] の単数で±1, ±√(-1) である。