"Un dominio de integridad finito D es un cuerpo".