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. .
Kimutatjuk, hogy a jobboldali tényezők egyike és így a szorzat is osztható -vel, ha törzsszám; még pedig ha páros, akkor , ha páratlan, akkor osztható -vel.
Ezen esetekben tehát állításunk igaz. Tetszőleges szám esetében | | ahol egész szám és kell, hogy osztható legyen -vel, mert az tényezők mindegyikéhez relatív prím. Eszerint összeg osztható -vel I.
Láttuk, hogy ha ; tehát, ha , akkor I. miatt Ebből ismét következik, hogy , s í. t. . Az előbbiek szerint
Mint hogy ekkor páratlan, | |
Legyen páros. Ekkor
Ha pedig páratlan, akkor a szóbanforgó hatványösszeg
Q. e. d.
Schreiber Béla (Izr. g. VIII. o., Bp.)
a -nél nagyobb törzsszám páratlan és így páros.A zárójeles tagok száma páratlan. |