# Connection between field and the frobenius homomorphism [duplicate]

How do I prove that every algebraic extension of K is a separable extension if and only if $\phi:x \rightarrow x^p$ is surjective ?