Intr-o împărțire restul obligatoriu trebuie să fie mai mic decât impartitorul. La noi, impartitorul este 4, deci resturile vor fi 0,1,2,3. deci Oricare ar fi 4 numere împărțite la 4 resturile vor fi 0,1,2 sau 3. Un al 5-lea nr împărțit la 4 va avea tot unul din resturile de mai sus. Deci în caz va avem 5 numere, 2 vor avea același rest.
