命題
A を可換環とする。
E を A 上の線型環（過去スレpart1の97）とする。
B を E の可換な A-線型部分環（過去スレpart1の108）とする。
α を E の元で B の各元と可換とする。
このとき A-線型環の準同型 ψ：B[X] → E で
b ∈ B のとき ψ(b) = b で ψ(X) = α となるものが一意に存在する。

証明
自明である。