Nehmen wir an, dass x − 1 {\displaystyle {}x^{-1}} nicht größer als 0 {\displaystyle {}0} ist. Dann ist
und somit wäre nach Fakt (6) sofort
im Widerspruch zu