Let f(x) be a separable polynomial over the field K, with roots $r\_1 , ... , r\_n$ in it's splitting field F. Then f(x) is irreducible over K if and only if Gal(F/K) acts transitively on the roots of f(x).

How can I prove this theorem?