>>556の修正

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

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