Конечные решетки как решетки относительных конгруэнций конечных унаров и абелевых групп

Доказывается, что любая конечная решетка изоморфна решетке $\mathbf R$-конгруэнций конечного унара (конечной абелевой группы) а также решетке $\mathbf R$-многообразий для некоторого локально конечного конечно аксиоматизируемого квазимногообразия унаров (абелевых групп) $\mathbf R$.