>>46
補足

なお、議論を簡単にするために
ここでは、念頭に置いているのは、一般の５次方程式で、ガロア方程式F(x)＝（x-V）（x-V'）（x-V''）・・・・（x-V''*）はkで既約で、重根を持たないと単純化している