Let $f \in F[X]$ be an irreducible polynomial where F has characteristic $p > 0$. Express $f(X) = g(X^{p^m})$ where $m \in N$ is a large as possible. Show that g is irreducible and separable.