>>24, >>25, >>26 から

>>23 で述べた αα' = x^3 から α = β^3 となる β ∈ Z[√(-2)] が
あることがわかる。