Misalkan \(p(x)\) suatu polinomial di \(F[x]\text{.}\) Maka terdapat lapangan pemisah \(K\) dari \(p(x)\) yang tunggal hingga isomorfisma.