命題
K を可換体とする。
E を K 上の線型環（過去スレpart1の97）とする。
α ∈ E とする。
α が K 上代数的（>>553）であるためには α が K 上整（>>576）であることが必要十分である。

証明
自明である。