Let $K$ be an Henselian discrete valuation field such that its completion is separable over $K$. Let $F$ be its infinite residue field. Is it true that a finite extension of $F$ is a simple extension i.e., it is of the form $F(\alpha)$ for some $\alpha$?
