Дополнение к статье “Спектр кода и функция надежности: двоичный симметричный канал”

Ниже приводится значительно более простое доказательство теоремы 1 из [1] с использованием обозначений и нумерации формул из [1]. Далее следует текст, заменяющий пункт Общий случай из § 4 работы [1, с. 11].