Cuando un ideal contiene a una unidad, en particular a la identidad, el ideal es igual a todo el anillo.