Icinde (c,p)=1 ve k≥1 olacak sekilde bir cpk carpani barindiriyorsa bu bize k adet p carpani verir.
Toplamin icindeki ilk terim carpimda ne kadar p'nin kati oldugunu
Toplamin icindeki ikinci terim carpimda ne kadar p2'nin kati oldugunu
⋮
Toplamin icindeki n. terim carpimda ne kadar pn'nin kati oldugunu veriyor.
cpk hem p, hem p2, ⋯, hem pk'nin kati oldugundan. Bu elemani tam olarak k
kere saymis oluyoruz. Kisacasi sol taraf sag toplama esit.
Bu toplam sonlu Cunku pk>a ise ⌊a/pk⌋=0 olur.