Restul impartirii unui numar la 4 poate fi 0,1,2 sau 3, adica sunt 4 posibile resturi. Alegand arbitrar 5 numere naturale si atribuind lor aceste resturi vom avea, din principiul lui Dirichlet, cel putin 2 numere care impartite la 4 dau acelasi rest.