>>23

αα' = x^3 から α = β^3 となる β ∈ Z[√(-2)] があることを
証明するため、補題を用意する。

補題
A を一意分解整域とする。
A の元 a, b, c と有理整数 n ≧ 1 に対して
ab = c^n とする。
gcd(a, b) = 1 なら a = d^n となる d ∈ A がある。

証明
p を A の任意の素元とする A の元 x が p^e できっかり割れるとき
ord_p(x) = e と書くことにする。

ord_p(a) = e とすると gcd(a, b) = 1 だから ord_p(c^n) = e である。
よって e は n の倍数である。
これから補題の主張はあきらかである。
証明終