Исправление в разделе Криптосистема Вернама.

Вроде "По доказанному выше" является вводной конструкцией.