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

В очередной раз Сергей Константинович обнаружил ошибку в наших с ним рассуждениях. Мы упустили, что phi*f не обязательно непрерывна при непрерывной f. Поэтому потребуется проводить более тонкие рассуждения. Но в целом идея работает, остаётся расширить понятие ёмкости.