О методе нахождения точных оценок длин выводов в системах Туэ - Адян, С. (Mathematical Problems of Computer Science, 2021)