Sea R un dominio íntegro, las siguientes proposiciones son equivalentes: