Извините заранее за некромантию.
Мне потребовалась весьма строгая формализация этого доказательства, и возник вопрос: почему для любого количества переменных существует последнее ("внешнее") вхождение символа операции? Иными словами, почему для любого n любая расстановка скобок представима в виде

для некоторого k?
Тут или я туплю совсем в плане определения того, что значит "быть представимым в данном виде", или реально нужен совет.