Sa presupunem ca am ales 7 numere cuprinse intre 1 si 24
Se stie ca numarul submultimilor ce se pot forma cu 7 elemente este egal cu
. Excluzand submultimea vida, raman 127 submultimi posibile.
Daca vom dovedi ca numarul sumelor S avand ca termeni cele 7 numere alese (sume de 1,2,..., maxim 7 termeni) este mai mic decat 127, atunci demonstratia este incheiata.
Fie m acest numar al sumelor.
Evident, pentru orice suma S avem:
, deci
.
Deoarece 147>127, cautam sa restrangem mai mult plaja valorilor sumelor S.
Daca a este cel mai mic dintre cele 7 numere, atunci
, adica
.
Cum 130>127, restrangerea gasita nu a fost suficienta, dar dupa aceeasi idee, daca notam a<b<c<d<e<f<g cele 7 numere (asadar am notat cu a,b cele mai mici numere) atunci singurele sume mai mici decat a+b pot fi numerele insele, a,b,c,d,e,f,g, iar pentru oricare alta suma S are loc relatia:
, adica
.
Cum 118<127, am obtinut ca numarul sumelor este mai mic decat numarul submultimilor, si in concluzie vor exista doua submultimi pentru care suma elementelor este aceeasi.