Установим взаимно однозначное соответствие между такими последовательностями и расстановками скобок в произведении  x₀x₁...x_n  (включая внешние скобки, например,  (x₀((x₁x₂)x₃))).  Именно, каждой открывающей скобке поставим в соответствие единицу, а каждому знаку умножения – минус единицу. Например указанной выше расстановке скобок в произведении x₀x₁x₂x₃ соответствует последовательность  {1, –1, 1, 1, –1, –1}.  Условие на неотрицательность частичных сумм выполнено, поскольку каждому знаку умножения соответствует своя пара скобок, "включающая" выражения, которые он перемножает.

  Наоборот, по каждой последовательности можно построить расстановку скобок. Сначала, как указано выше, расставляем в пустой строке открывающие скобки и знаки умножения, затем восстанавливаем закрывающие скобки следующим образом. Пусть открывающей скобке в последовательности соответствует  a_k = 1.  Ищем наиболее "короткую" частичную сумму  a_k + ... + a_m = 0  (такая, очевидно, найдется). При этом

a_k = –1,  и мы ставим закрывающую скобку после знака произведения, соответствующего a_m. Затем уже легко вставить в полученную строку знаки неизвестных  x₀, ..., x_n.

C_n.