Изменения

* Английские слова в техе надо прямым шрифтом

* ULP --- фигово описан

* леммы бы занумеровать и хоть примерно доказать, благо они короткие (содержание обсуждалось с Ковалевым. Доказывать ничего не надо. Нужно просто привести леммы)

* всякие TwoSum в тексте как-то выделить