О сложности нематричных многообразий ассоциативных алгебр. II

Пусть $\Omega$ — множество полилинейных элементов свободной алгебры, состоящее из произведения $n$ коммутаторов второго порядка и нескольких произведений правонормированных коммутаторов произвольной длины, содержащих $n-1$ множителей. Указывается тождество простейшего вида, которое выполняется в алгебрах собственного подмногообразия многообразия $\mathfrak{M}(\Omega)$, порожденного $\Omega$, и не является следствием $\Omega$. Тем самым получается обобщение теоремы о многообразии алгебры верхнетреугольных матриц, доказанной в первой части работы.