Si "a" es algebraico sobre "K", entonces "K"["a"], el conjunto de todos los polinomios en "a" con coeficientes en "K", es un cuerpo.