命題
K を可換体とする。
E を K 上の線型環（過去スレpart1の97）とする。
α ∈ E を K 上代数的（>>553）とする。
このとき K[α]（>>552）は可換体である。

証明
>>555より明らかである。