Вместо тупой ссылки на теорему Кантора – Бернштейна дополнил статью Доказательство одного результата Кантора доказательством — по мотивам доказательства теоремы Кантора – Бернштейна, но адаптированным к конкретной ситуации.