Изменения
Нет описания правки
* ULP --- фигово описан
* ассициативность -- чо?
* леммы бы занумеровать и хоть примерно доказать, благо они короткие(содержание обсуждалось с Ковалевым. Доказывать ничего не надо. Нужно просто привести леммы)
* всякие TwoSum в тексте как-то выделить
* везде --- правильно проставить дефисы и тире!
