Integral closure of a valuation ring in a finite extension

The main result of the paper is
THEOREM 1. If a minimal polynomial $f$ for $\theta$ over $F$ is $v$-separable, then there exists a nonzero element $\pi\in R$ such that $\pi S\le R[\theta]$.