О многообразиях алгебр, критические алгебры которых являются арифметическими

Доказано, что в многообразии ассоциативных $GF(p)$-алгебр $\mathfrak{M}$ каждая критическая алгебра имеет дистрибутивную решетку идеалов тогда и только тогда, когда $\mathfrak{M}\subseteq\operatorname{var}M_2(GF(q))\vee(\mathfrak{R}_p\operatorname{var}GF(q)\cap K)$.
Библ. 8.