A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. Ha nem tesszük fel, hogy a kitevők csupa különböző számok, akkor általában -ra semmilyen következtetést nem lehet levonni. Írjuk -t alakba, ahol és legnagyobb közös osztója 1 és tételezzük fel, hagy csupa különböző kitevővel fennáll a | | egyenlőség. Szorozzuk végig ezt a számmal, ahol és az számok legnagyobbikát, illetve legkisebbikét jelöli. Ekkor mindkét oldalon alakú tagok állnak, ahol , és pontosan egy tagban fordul elő , és pontosan egy tagban az . Ez azt jelenti, hogy egy kivételével minden tag osztható -vel, és egy másik kivételével minden tag osztható -val. miatt ebből , azaz következik. |