Es sei y:=x−1 und B:=ϵ−1. Nach Fakt gibt es ein n mit
Durch Übergang zu den inversen Elementen erhält man gemäß Fakt (4) die Behauptung.