On the identities of the product of normal subgroups

The article presents the proof of the statement: the product of two normal subgroups generates a Cross-variety if and only if the intersection of Cross-varieties generated by these normal subgroups is nilpotent.