Об одном многообразии алгебр

Пусть $\mathscr M$ – класс всех алгебр вида $\langle L,\Lambda,\vee,-\rangle$, где $\langle L,\Lambda,\vee\rangle$ – дистрибутивная структура, а унарная операция $\overline{x}$ удовлетворяет условиям 1) $\overline{\overline{x}}=x$, 2) если $x\leq y$, то $\overline{x}\geq y$.
Элемент $x$ в алгебре $\mathscr A$ ($\mathscr A\in\mathscr M$) называется неподвижным, если $\overline{x}=x$. Пусть $\mathscr B_0$ – двухэлементная алгебра, $\mathscr B_1$ – трехэлементная алгебра, $\mathscr B_2$ – четырехэлементная алгебра с двумя неподвижными элементами ($\mathscr B_i\in\mathscr M$, $i=0,1,2$). Доказано, что каждая нетривиальная алгебра из класса $\mathscr M$ эквационально эквивалентна одной из алгебр $\mathscr B_i$ ($i=0,1,2$).