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

Вроде "По доказанному выше" является вводной конструкцией. Точно такого примера не нашел, но есть похожий. Ссылка: http://www.gramota.ru/spravka/punctum/58_532. И в других текстах: "то, по доказанному в ..., мы имеем следующие уравнения ...". Ссылка:http://books.google.ru/books?id=lZmKAQAAQBAJ&pg=PA270&lpg=PA270&dq=%D0%BF%D0%BE+%D0%B4%D0%BE%D0%BA%D0%B0%D0%B7%D0%B0%D0%BD%D0%BD%D0%BE%D0%BC%D1%83&source=bl&ots=0Y65clbG-B&sig=zV9r9PKvBx1LuuSY6KLoqZloxF0&hl=ru&sa=X&ei=Jv2yUtL0OIzs4wS7DA&ved=0CCkQ6AEwATgK#v=onepage&q=%D0%BF%D0%BE%20%D0%B4%D0%BE%D0%BA%D0%B0%D0%B7%D0%B0%D0%BD%D0%BD%D0%BE%D0%BC%D1%83&f=false.