Let a and b be elements of a ring such that a, b, and ab - 1 are units. The document shows that: 1) a-b-1 and (a - b-1)- a-1 are also units. 2) The identity ((a-b-1)-1 - a-1)-1 = aba - a holds. 3) It proves this identity by showing that each step results in a unit, and the final expression aba - a is a unit.