Sea formula_58 un ideal (izquierdo, derecho o bilateral) del anillo formula_59 Si la identidad o una unidad está en formula_58 entonces formula_61 En efecto, sea formula_62 una unidad tal que formula_63 Entonces, como un elemento y su recíproco siempre permutan.tenemos además que formula_64 Sea formula_58 un ideal izquierdo (resp.