Продолжение доказательства теоремы.

С К привел подробную схему доказательства того факта, что прообраз множества нулевой ёмкости имеет нулевую ёмкость. Мне осталось изложить это аккуратно и разобраться с некоторыми техническими деталями. А именно: нужно понять почему такой шар B существует. B такой, что мера прообраза не ноль или ёмкость прообраза не ноль (я ещё не разобрался).