つまり、冪零度の冪零群に対して、その元の定める作用formula_4がに依らず回反復合成で自明となる(ここで、はの交換子である)。