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. Jelöljük az szám törzstényezős felbontásában a kitevőjét -mel. Ha alakú, ahol a páratlan szám, akkor -et két -edik hatvány különbségeként szorzattá alakítva az első tényező , a második tényező pedig páratlan, így , ahol tehát a a kitevője az prímfelbontásában. Mármost szorzattá alakítható a következőképpen:
Ha és páros, akkor osztható -vel, de -gyel nem, hiszen a -gyel osztva maradékot ad. Mivel , ezért a fentiek alapján
| |
Ez azt jelenti, hogy ha k jelöli az m kitevő prímtényezős felbontásában a 2 kitevőjét, akkor k=0 ‐ tehát páratlan m kitevő esetén ‐ a keresett f(m) kitevő értéke 1, egyébként pedig k+3. |