Ｇ＝Gal(Ｑ(ζ）/Ｑ)とおく。（ζは１の原始ｍ乗根）
∀σ∈Ｇに対して、σ(ｘ)＝ｘ　ならば　ｘ∈Ｑ　となることを証明したい
のですが、ｘ∈Ｑ(ζ)に対して
ｘ＝ａ_0＋ａ_1ζ＋ａ_2ζ^2＋････＋ａ_m-1ζ^(m-1)　（ａ_i∈Ｑ）　
と一意的に表せるので、
σ(ｘ)＝ｘならば
⇔ａ_0＋ａ_1σ（ζ）＋････＋ａ_m-1σ(ζ）^(m-1)＝ｘ

となるのですが、ここからどのようにｘ∈Ｑを導けばいいのでしょうか？？