Sea formula_198 un número entero primo, como formula_213 es un ideal maximal en formula_91 tenemos que formula_284 es un cuerpo.