orice numar natural se poate scrie sub una din formele:
n1=4c+0 ⇒divizibil cu 4, rest 0
n2=4c+1 ⇒ rest 1
n3=4c+2 ⇒ rest 2
n4=4c+3 ⇒ rest 3
oricare al 5-lea numar va avea una din formele de mai sus si prin urmare va exista 2 numere care inpartite la 4 sa dea acelasi rest