Числа Левенгейма для скелетов многообразий

Доказывается, что число Левенгейма для декартова скелета произвольного конечно-аксиоматизируемого конгруэнц-дистрибутивного многообразия алгебр конечной сигнатуры совпадает с числом Левенгейма полной логики второго порядка.