1. не должно быть возможности выбрать три числа с попарно различными остатками от деления на

, иначе их сумма поделится на

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

.
3. но тогда всегда можно сложить четное число!