О многообразии решеток, определенном тождеством Икбалуннисы

Многообразие $K$ называется характеризуемым некоторым множеством $M$ конечных решеток, а сами решетки запретными для $K$ (ради краткости будем называть такие многообразия просто характеризуемыми), если $K$ совпадает с классом всех решеток, в каждую из которых не вложима ни одна решетка из $M$. Доказано, что многообразие, определенное тождеством Икбалуннисы $(x_1+x_2)(x_2+x_3)=x_1(x_2+x_3)+x_2+x_3(x_1+x_2)$, не характеризуемо, т.е. теорема В. И. Игошина (РЖМат, 1972, 4А340) о характеризуемости этого многообразия является ошибочной. Построена также бесконечная серия нехарактеризуемых многообразий.