命題
K を可換体とする。
f(X) ∈ K[X] を定数でない多項式とする。
n = deg f(X) とする。
L/K と M/K を拡大（>>512）とする。
f(X) は L において n 個の互いに異なる根を持つとする。
f(X) は M において分解（>>534）するとする。
このとき f(X) は M において n 個の互いに異なる根を持つ。

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