Компактно порожденная решетка с единственными дополнениями дистрибутивна

Известно, что в решетке с единственными дополнениями условия модулярности, атомности, Де Моргана и другие влекут за собой дистрибутивность. Доказывается, что компактно порожденная решетка с единственными дополнениями также будет булевой. Библ. 6 назв.