The nilpotency criterion for the derived subgroup of a finite group

Доказывается, что коммутант конечной группы нильпотентен в точности тогда, когда $|ab|\geqslant |a||b|$ для всех примарных коммутаторов $a$ и $b$ взаимно простых порядков.