Условные тождества в конечных группах

Доказано, что совокупность всех условных тождеств конечной группы $G$ эквивалентна конечному набору условных тождеств тогда и только тогда, когда все силовские подгруппы $G$ абелевы.