Si en un anillo unitario tomamos un ideal (por la izquierda, por la derecha o bilátero) y hay un elemento invertible que pertenece al ideal, entonces el ideal coincide con el anillo.