Неразрешимость проблем равенства и делимости в некоторых многообразиях полугрупп

Слово $A$ называется блокирующим, если для любого конечного алфавита конечно и множество слов в этом алфавите, не содержащих значений слова $A$ в качестве подслов. В статье приводится достаточное условие неразрешимости проблем равенства и делимости в многообразии $V=[A_i=B_i \mid i=1,2,\dots]$ конечного аксиоматического ранга. Это условие заключается в том, что для каждого $i$ в тождестве $A_i=B_i$ оба слова $A_i$, $B_i$ являются неблокирующими.