
Первое множество состоит из только тех
, которые принадлежат ровно одному из множеств
или
. Поэтому всякий
из этого множества принадлежит либо только
(то есть множеству
), либо только
(то есть множеству
). Следовательно,
.
Второе множество состоит из тех
, для которых либо
, либо
. Отсюда следует, что
. Если при этом
, то он не принадлежит ни одному из указанных множеств, противоречие, потому
, значит,
, откуда
.