Нижняя оценка регистровой сложности вычисления термов

Рассматривается задача вычисления термов $t$ из семейства $T$ при помощи вычислительного устройства согласно программе $\Pi(t)$. Регистровой сложностью вычисления терма $t$ называется величина $S(t)=\min|\Pi(t)|$, где $|\Pi(t)|$ – число регистров, которое использует программа $\Pi(t)$. В работе доказывается, что для семейства термов высоты $h$ $S(t)\geqslant h/2+1$.