Обсуждение:Лемма Огдена
ToDo
Перечитай первую строчку, пойми, что с ней что-то не так. Примерно там же у тебя написано x, а не
По индукции не показывают («Покажем по индукции, что если…»).
«…и имеет по крайне мере выделенных потомков…» там , а не .
«Рассмотрим последние вершины принадлежащие…» И запятая пропущена.
Слово «нетерминал» пишется через «и».
«Очевидно, что условие(4) выполнено в силу…» Пробел и проделбаная запятая.