Legyen $n=2^{p-1}\left(2^p-1\right)$; továbbá $2^p-1$ törzsszám; bebizonyítandó, hogy ekkor $n$-nek $n$-nél kisebb osztóit összeadva, összegül pontosan $n$ adódik.