ai∈{0,1,⋯,p−1} olmak uzeren=a0+a1p+a2p2+⋯+akpk olarak yazalim. Bu durumda ⌊np⌋=n−a0p=a1+a2p+⋯+akpk−1 olur. Ayni sekilde 2≤i≤k icin ⌊npi⌋=n−(a0+⋯+ai−1pi−1)pi=ai+ai+1p+⋯+akpk−i olur.
Tum bunlari terim terim toplayalim: ak(pk−1+pk−2+⋯+p+1)+ak−1(pk−2+⋯+p+1)+⋯+a1olur. 1+p+⋯+pt=pt+1−1p−1 oldugundan toplamimizi bastan yazarsak toplaminakpk−1p−1+ak−1pk−1−1p−1+⋯+a2p2−1p−1+a1p−1p−1+a01−1p−1 oldugunu elde ederiz. Paydada p−1 var ve payi duzenlersek (akpk+ak−1pk−1+⋯+a0)−(ak+ak−1+⋯+a0)=n−σp(k)oldugunu elde ederiz.
Bu da istedigimiz sonucu verir.