найдется клетка, в которой сидит по крайней мере два кролика - принцип Дирихле.
Остатки от 7 - это клетки, сами цифры это кролики.
У нас "кроликов" - цифр восемь. "клеток"-остатков от деления на 7 будет 7.
среди них обязательно попадутся хотя бы два числа с одинаковыми остатками от деления на 7 - это нужные нам числа.. всё доказали.)