Дистрибутивность некоторых структур многообразий ассоциативных колец

Доказывается
Теорема. Структура подмногообразий многообразия ассоциативных колец, задаваемого тождеством
$$ x^2=x^3f(x),\quad f(x)\in\mathbf{Z}[x], $$
дистрибутивна.
Класс многообразий, охватываемых теоремой, включает в себя большинство ранее изучавшихся многообразий с дистрибутивной структурой подмногообразий.
Библ. 16.