Si "K" es cuerpo, y "p"("X") es un polinomio irreducible en un anillo de polinomios "F"["X"], entonces el cociente "F"["X"]/ es un cuerpo con un subcuerpo isomorfo a "K".