Eoin (+1) ya demostró que la $h$ es invariante bajo $\phi$.
Por inducción en $n$ vemos que $\phi^n(r(x))=r(x+na)$ todos los $n\in\Bbb{N}$ y todos los $r(x)\in k(x)$. De esto se sigue que $\phi$ es de orden $p$. Por lo $\phi$ genera un subgrupo $G\le Aut(k(x))$ orden $p$. Por los hechos básicos de la teoría de Galois el campo fijo $K=\operatorname{Inv}(G)$ satisface $[k(x):K]=|G|=p$.
Sabemos que $k(h)\subseteq K$, por lo que es suficiente para mostrar que $[k(x):k(h)]=p$. Debido a $[k(x):k(h)]=[k(x):K]\cdot [K:k(h)]$ vemos que $[k(x):k(h)]$ es un múltiplo de a $p$, en particular es $\ge p$.
OTOH $x$ es un cero del polinomio
$$
m(T)=T^p^{p-1}T-h\in k(h)[T].
$$
Por lo tanto,$[k(h)(x):k(h)]=[k(x):k(h)]\le \deg m(T)=p$.
La reclamación $K=k(h)$ sigue de esto. Como un bono tenemos que $m(T)$ es el polinomio mínimo de a$x$$k(h)$, y, por tanto, irreductible en $k(h)[T]$.