Now it's easy to see that when goes through all possible residue classes, that also the sum of the elements of goes through all of them, so there is exactly one sum that is divisible by .
Ngayon ito ay madaling makita na kapag napupunta sa pamamagitan ng lahat ng posibleng mga pag-aaral ng latak, na rin ang kabuuan ng mga elemento ng napupunta sa pamamagitan ng lahat ng mga ito, kaya doon ay eksaktong isa sum na ito ay mahahati sa pamamagitan ng .