Нормальность хорновых теорий с немаксимальным спектром

Доказывается, что если $h$-компаньон полной теории $T$ имеет немаксимальный спектр, то любая формула в $T$ эквивалентна булевой комбинации $h$-формул и одноместных формул. Как следствие этой теоремы доказывается нормальность любой хорновой (не обязательно полной) теории с немаксимальным несчетным спектром. Эти результаты используются в других работах, в частности, для описания спектров всех квазимногообразий.