Sei y := x − 1 {\displaystyle {}y:=x^{-1}} und B := ϵ − 1 {\displaystyle {}B:=\epsilon ^{-1}} . Nach Fakt gibt es ein n {\displaystyle {}n} mit
Durch Übergang zu den inversen Elementen erhält man gemäß Fakt (4) die Behauptung.