Răspuns:
fie r₁, r₂, r₃, r₄, r₅ - resturile impartirii celor 5 numere la 4
dar restul impartirii oricarui numar la 4 apartine multimii {0,1,2,3) - cardinal 4 (patru resturi posibile)
⇒ r₁, r₂, r₃, r₄, r₅ ∈ {0,1,2,3)
⇒ cel putin doua din numerele r₁, r₂, r₃, r₄, r₅ coincid
