てか
体K係数の既約多項式f(x)とf(x)の根α、βでσ∈G_Kでσ(α) = βとなるσが採りえない例とかあるん?