Dies folgt aus Fakt (1). Wenn y > x ≥ 0 {\displaystyle {}y>x\geq 0} ist, so ist auch y n > x n ≥ 0 {\displaystyle {}y^{n}>x^{n}\geq 0} und können nicht beide gleich a {\displaystyle {}a} sein.