Об одной теореме Кона

Пусть $F$ – поле алгебраических функций от одной переменной над полем констант $k$, $v$ – точка поля $F/k$ и $A_v$ – кольцо функций, не имеющих полюсов вне точки $v$. Доказывается, что $A_v$ является $GE_2$-кольцом тогда и только тогда, когда оно совпадает с кольцом $k[x]$ многочленов от одной переменной над полем $k$. Библ. 3 назв.