Sigue de la teoría general de los cuerpos que el cociente formula_452 es un cuerpo que es una extensión de formula_5 donde formula_119 tiene al menos un cero, digamos formula_22.