Здравствуйте, nikov, Вы писали:

N>"Но |k1 — 0| > 1 и k1 мы включать не должны были" -- вот это ничем не обосновано. Похоже, что ты совершаешь логическую ошибку "denying the antecedent": из "если А, то B" ты выводишь "если не А, то не B".

Кажется понял, что ты хочешь сказать: в множестве S могут существовать такие пары p,q, что |p-q|>=1, но они не могут порождать новые элементы множества. Тогда мои рассуждения неверны . Значит, все-таки неверно понял условие