Si formula_67 es ideal (por la izquierda, por la derecha o bilátero) propio de un anillo unitario formula_41, formula_70 es el grupo de unidades de R, entonces formula_74, esto es, ningún ideal propio tiene elementos invertibles.