Gọi 25 số đã cho là a1, a2, ...,a25 với $1\leqslant a_{1}< ...< a_{25}\leqslant 48$1⩽a1<a2<...<a25⩽48 trong nhóm A
Lập 24 số a25 - a1, a25-a2,... a25-a24 trong nhóm B.
Ta có 24 số này là các số tự nhiên đôi một khác nhau và đều ko vươt quá 48.
Như vậy tổng cộng ở hai nhóm A và B có 49 số tự nhiên không vượt quá 48.
Theo nguyên lí Dirichlet thì tồn tại ít nhất hai số bằng nhau mà chúng ko thể ở cùng một nhóm nên ta có một số ở nhóm A bằng một số ở nhóm B, đó là ai=a25-aj khi đó a25=ai+aj 1≤i⩽j⩽24