Схема глубины два с ограниченным входным ветвлением для функций голосования

В заметке доказано, что булева функция голосования от $n$ переменных может быть реализована схемой глубины два, элементы которой вычисляют функции голосования от $n-2$ переменных (для любого нечетного $n$, большего пяти).