Verified answer

При делении числа на 8 остатки могут быть равны 0,1,2,3,4,5,6,7 (8 разных остатков). Поэтому среди 9 чисел найдутся хотя бы два, которые дают одинаковые остатки при делении на 8. Их разность делится на 8. Доказано