О строении коммутативных унарных алгебр с дистрибутивной решеткой конгруэнций

Показано, что любая коммутативная унарная алгебра с конечным числом унарных операций, решетка конгруэнций которой дистрибутивна, содержит подалгебру, решетка конгруэнций которой изоморфна решетке конгруэнций одного из унаров D$_1$, D$_2(n)$ (простой структуры) или решетке конгруэнций унарной алгебры D$_3$ с двумя унарными операциями.