Let g∈K[T] be irreducible and separable in characteristic p, and put f(T)=g(Tp). Every monic irreducible factor h of f is either f itself or separable. Indeed, if h were inseparable, then h(T)=q(Tp); divisibility of q(Tp) into g(Tp) forces q∣g, hence q=g and h=f.