О тождественных преобразованиях внутри коммутативных полугрупп

Доказано, что сложность перевода друг в друга равных термов длины не большей, чем $n$, над любой коммутативной полугруппой имеет порядок $n\log n$.