Иллюстрации жгут!// это было адресовано Багу ==ToDo== Перечитай первую строчку, пойми, что с ней что-то не так. Примерно там же у тебя написано x, а не <tex>x</tex>.<br>По индукции не показывают («Покажем по индукции, что если…»).<br>«…и <tex>n_1</tex> имеет по крайне мере <tex>n</tex> выделенных потомков…» там <tex>v_1</tex>, а не <tex>n_1</tex>.<br>«Рассмотрим последние <tex>2n+3</tex> вершины принадлежащ'''ие'''…» И запятая пропущена.<br>Слово «нетерминал» пишется через «и».<br>«Очевидно, что условие(4) выполнено в силу…» Пробел и проделбаная запятая.