Es sei x {\displaystyle {}x} mit x ≠ 0 {\displaystyle {}x\neq 0} vorgegeben. Es seien z {\displaystyle {}z} und z ′ {\displaystyle {}z'} Elemente mit x z = 1 = x z ′ {\displaystyle {}xz=1=xz'} . Dann ist
Also ist