命題
K を必ずしも可換とは限らない体とする。
A ≠ 0 を必ずしも可換とは限らない環とする。
ρ：K → A を準同型とする。
E ∈ Mod(K)（過去スレpart2の685）とする。
ψ：E → ρ^(E)（過去スレpart3の877）を
x ∈ E に 1※x ∈ A※E = ρ^(E) を対応させる写像とする。
このとき ψ は単射である。

証明
>>360より ρ は単射である。
K は体だから E は K 上自由である。
過去スレpart3の903より ψ は単射である。
証明終