Sea un anillo conmutativo formula_1, que a su vez sea un dominio de integridad, es decir, que carezca de divisores de cero.