>>129

⑤^2
=　　(ζ7　+ζ7^6)(ζ7　+ζ7^6)+ω^2(ζ7　+ζ7^6)(ζ7^3+ζ7^4)+ω　(ζ7　+ζ7^6)(ζ7^2+ζ7^5)
+ω^2(ζ7^3+ζ7^4)(ζ7　+ζ7^6)+ω　(ζ7^3+ζ7^4)(ζ7^3+ζ7^4)+　　(ζ7^3+ζ7^4)(ζ7^2+ζ7^5)
+ω　(ζ7^2+ζ7^5)(ζ7　+ζ7^6)+　　(ζ7^2+ζ7^5)(ζ7^3+ζ7^4)+ω^2(ζ7^2+ζ7^5)(ζ7^2+ζ7^5)
=　　((ζ7^2+ζ7^5+2)　　　　　+(ζ7^5+ζ7^6+ζ7　+ζ7^2)+(ζ7^5+ζ7　+ζ7^6+ζ7^2))
+ω　((ζ7^3+ζ7　+ζ7^6+ζ7^4)+(ζ7^6+ζ7　+2　　　　　)+(ζ7^3+ζ7^6+ζ7　+ζ7^4))
+ω^2((ζ7^4+ζ7^2+ζ7^5+ζ7^3)+(ζ7^4+ζ7^5+ζ7^2+ζ7^3)+(ζ7^4+ζ7^3+2　　　　　))
=　　(2+ζ7　+ζ7　+ζ7^2+ζ7^2　　　　　　　　　　　　+ζ7^5+ζ7^5+ζ7^6+ζ7^6+ζ7^2+ζ7^5)
+ω　(2+ζ7　+ζ7　　　　　　　+ζ7^3+ζ7^3+ζ7^4+ζ7^4　　　　　　+ζ7^6+ζ7^6+ζ7　+ζ7^6)
+ω^2(2　　　　　　+ζ7^2+ζ7^2+ζ7^3+ζ7^3+ζ7^4+ζ7^4+ζ7^5+ζ7^5　　　　　　+ζ7^4+ζ7^3)
=　　(ζ7^2+ζ7^5-2*ζ7^4-2*ζ7^3)
+ω　(ζ7　+ζ7^6-2*ζ7^2-2*ζ7^5)
+ω^2(ζ7^4+ζ7^3-2*ζ7　-2*ζ7^6)
=(ω-2ω^2)③