Об эквациональных теориях многообразий колец конечной характеристики

Доказано, что для любого $n>1$ существует конечно базируемое многообразие колец характеристики $n$ с неразрешимой эквациональной теорией, такое что для любого $k$ в кольце ранга $k$, свободном в этом многообразии, неразрешима проблема равенства.