разделим на три класса:
, где + обозначает операцию объединения и изначает, что множества
дисъюнктны.



.
делится на два (сумма нечетных чисел четна), то есть выражение все равно делится на два, первое условие выполнено. Докажем, что x делится на 3:
, то рассмотрим три случая:
так как
.
для каких-то
, то есть
.
.
для каких-то
, то есть
.
выражение
делится на 6.