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



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