Будет верно, как только будет ясно, где тут сумма счётного числа попарно непересекающихся слагаемых, и как она с нашим исходным множеством связана.

Вы вопрос, выделенный жирным шрифтом, так и будете игнорировать? Я могу попробовать его аршинными буквами выделить, да боюсь, модераторы забанят.