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