restul<impartitorul
restul<4
restul∈(0,1,2,3)
deci:
La impartirea cu 4 resturile pot fi: 0,1,2,3.⇒4 resturi
Daca din cele cinci numere naturale presupunem ca patru dau resturi diferite (cele mentionate anterior), ramane un numar care are tot unul din acele resturi -de exemplu 1- deci vor fi cel putin doua care sa dea acelasi rest.