Марковские свойства бернсайдовских многообразий полугрупп

Доказывается, что любое марковское свойство конечно определенных полугрупп многообразия, заданного тождеством $x^{r_1}=x^{r_2}$, где $r_1>r_2\geqslant 2$, которым обладает одноэлементная полугруппа, является алгоритмически нераспознаваемым.