О квазитождествах в свободной группе

Доказано, что система квазитождеств, истинных в свободной группе, имеет базис, состоящий из полутождеств, т. е. из квазитождеств вида $t(x_1,\dots,x_n)=1\to t'(x_1,\dots,x_n)=1$, где $t$, $t'$ — групповые слова.