Докажите , что число из любых 23 натуральных чисел можно выбрать ровно 12 , сумма которых делится на 12

Решение опирается на 2 вс утверждения:
!)Среди любых 5 натуральных чисел найдутся 3 числа сумма которых кратна 3.
Доказывается очень просто. Рассматриваем остатки чисел от деления на 3 и используем тот факт, что сумма возможных 3-х остатков от деления на 3 равна 3.
2) Среди любых трех натуральных чисел найдутся 2 сумма которых четна. Это, почти очевидно. Среди трех чисел возможны остатки (0,0,0),(1,0,0) , (1,1,0) и (1,1,1).

Из первого утверждения находим, что среди любых 23 натуральных чисел можно выбрать 7 троек сумма чисел в которых делится на 3.
Это делается так: берутся любые 5 чисел, находится искомая тройка. Эти 3 числа убираются. Остается 20.  И так 6 раз. Остается 5. Из них выбирается последняя СЕДЬМАЯ  тройка.

Из этих 7 сумм можно выбрать 3 пары сумм , суммы 6 -ти чисел в которых четны. Это делается точно также. Сначала выбираем 2 тройки. Потом еще 2 и еще один раз.

Из этих трех пар троек (шестерок чисел)   можно всегда выбрать одну сумма чисел в которой делится на 4.
 Она и есть искомая последовательность двенадцати чисел. Сумма делится и на 4 и на 3.

Давал уже ответ на эту задачу. Удалили саму задачу вместе с решением, как Олимпиадную.