>>383
伊丹公理氏の発想はどうだかわからないけど，
z = x +√-1yとすると，σ_1(z) = ζ_6*z なので，
σ_1(z^3) = -z^3 から出ますよ．