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



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