If one is willing to use the results already proved in Hartshorne in the context of the valuative criterion, that is before exercise 4.11, I see the following approach: there exists a valuation ring $O_v$ of the field $K$ (for the moment I ignore the finite extension $L$ that appears in the exercise) that dominates the local ring $O$. In particular we have $v(x_k)>0$ for any set $x_1,\ldots ,x_n$ of generators of the maximal ideal $m$ of $O$. Suppose $v(x_1)$ is minimal among the values $v(x_k)$. Then $O^\prime\subseteq O_v$ and $q:=M_v\cap O^\prime$, $M_v$ the maximal ideal of $O_v$, is a proper prime ideal of $O^\prime$. By definition $x_1\in q$ and thus $x_1O^\prime\neq O^\prime$. The "suitable choice" is just relabelling the elements $x_k$ if necessary.