Теории классической пропозициональной логики и обращение подстановки

Изучаются теории, основанные на классической логике высказываний. Из леммы Сушко следует, что для любой классической пропозициональной теории $T$ и любой подстановки $\varepsilon$ формул вместо пропозициональных переменных множество $\varepsilon^{-1}(T)$ также является классической пропозициональной теорией. В работе доказывается следующее усиление этого утверждения: для всякой непротиворечивой конечно аксиоматизируемой классической пропозициональной теории $T$ существует такая подстановка $\varepsilon$, что $T$ является прообразом множества всех тождественно истинных формул при $\varepsilon$. Приводится алгоритм, который по данной аксиоме теории позволяет найти подстановку, обладающую указанным свойством.