Un dominio de integridad finito formula_144 es un cuerpo.