Конечные дистрибутивные решетки квазимногообразий

Доказано, что для любой конечной дистрибутивной решетки $L$ существует конечнобазируемое локально-конечное квазимногообразие $\mathfrak{M}$ конечной сигнатуры такое, что решетка $L$ изоморфна решетке всех подквазимногообразий квазимногообразия $\mathfrak{M}$.