Изменения

* + иногда выделенное в тексте слово --- курсив, иногда --- полужирный. стандартизовать

* все леммы фигово выглядят. сделать, например, как у теоремы

* + все заголовки должны быть на одном языке (желательно, на русском)

* добавить что-нибудь из лекций и других источников (все, что было на лекции и касалось этой темы, Ковалев переписывал с этой статьи, так что не вариант. Да и по этой теме клевая инфа только у Шевчука)