Об одной теореме Суслина

Пусть $\mathscr F$ – поле алгебраических функций от одной переменной над полем констант $k$, $v$ – точка поля $\mathscr F$ и $A_v$ – кольцо функций, не имеющих полюсов вне точки $v$. Доказывается, что, если $EO_4(A_v)$ – нормальный делитель в $O_4(A_v)$, то $\deg v=1$, $\mathscr F\cong k(X)$, и, следовательно, $A_v\cong k[X]$.