Доказать, что

. Как бы понятно, что слева элементов может быть меньше, чем справа, т.к. элементы из пересечения игриков могут быть получены из не-пересекающихся иксов тоже. Доказать пробую так:

- а множество справа состоит из таких же считай иксов. Это похоже на правду?