Многообразия и классы кручения $m$-групп

Доказывается, что любое многообразие $m$-групп является классом кручения; указывается базис тождеств произведения многообразий $m$-групп; показывается, что произведение любого конечно базируемого многообразия $m$-групп и многообразия абелевых $m$-групп является конечно базируемым многообразием.