Уточнение верхней оценки глубины сумматора и компаратора

В статье доказывается верхняя оценка $\log_2n+\log_2\log_2n+{\rm const}$ для глубины операторов сложения и сравнения $n$-битовых чисел в базисе $\{\&,\vee,\sim\}$. Библ. 10.