Изменения

Во первых, отметим, что ситуация А_0(r_1) == A_~0(r_1) происходит с вероятностью меньшей либо равной d / p для некоторого случайно выбранного r_1, что следует из [[Лемма_Шварца-Зиппеля|леммы Шварца-Зиппеля]]. То есть, с вероятностью большей либо равной 1 - d / p : А_0(r_1) != A_~0(r_1) и, ввиду того, что должно выполняться условие A_1(0) + A_1(1) = A_0(r_1), получаем, что A_1 тоже будет не правильное, т.е. некоторое A~_1.