This note uses some recent powerful tools related with semidirect products * of pseu-dovarieties of semigroups, particularly when the second factor is the pseudovariety of all finite groups, to give syntactic proofs of equalities of the form , where denotes the pseudovariety consisting of the...