A criterion for p-henselianity in characteristic p

Let $p$ be a prime. In this paper we give a proof of the followingresult: A valued field $(K,v)$ of characteristic $p\text{textgreater}0$ is$p$-henselian if and only if every element of strictly positivevaluation if of the form $x^p - x$forsome$x \in K$.