体F上の分離的多項式f(x)が、F上既約であるためには、
f(x)のガロア置換群が推移的であることが必要十分であること
を証明せよ。

全くわかりません。教えてください。