О тождествах в произведении нормальных подгрупп

Статья посвящена доказательству того, что группа, являющаяся произведением двух нормальных подгрупп, порождает кроссово многообразие в том и только том случае, когда пересечение кроссовых многообразий, порождаемых этими нормальными подгруппами, нильпотентно.