Neka je neparan prost broj.
Neka je , pri čemu , i .
Neka je , pri čemu .



pošto ne znam kako da izađem na kraj sa
računaću indukcijom po i pri tom ću koristiti očigledan rezultat:

.

Dakle, ideja je da do stignem iz uzastopnih stepenovanja - prvo puta uzastopno stepenujem sa a na kraju stepenujem i sa .

Sada je očigledno da za svako postoji neko tako da važi:




Za svako i postoji neko tako da važi:



Iz navedenog odmah sledi

_{[Ovu poruku je menjao uranium dana 19.06.2006. u 17:34 GMT+1]}