Es sei also b>1 und m>n. Wir müssen zeigen, dass
ist. Nach Fakt (4) ist
mit m−n>0. Wegen Fakt (8) ist
und daher ist auch