Докажите, что среди любых натуральных чисел найдутся два, разность которых делится на
.
Всего при делении на существует
различных остатков, а так как чисел
, то по принципу Дирихле найдутся
числа с одинаковыми остатками, следовательно, их разность будет делиться на
.