Наибольшее собственное многообразие $m$-групп

Доказывается, что многообразие $\mathcal N_m$ всех нормальнозначных $m$-групп является наибольшим собственным подмногообразием в решетке всех $m$-многообразий.