Об отсутствии финитной аппроксимируемости для однокоэффициентных коммутантных уравнений

В работе построено разрешенное относительно неизвестных уравнение в свободной группе ранга 2, левая часть которого принадлежит коммутанту (имеет нулевую сумму показателей по каждой переменной), а правая часть — простейший коммутатор, не имеющее решения в этой группе, но имеющее решение в любом конечном гомоморфном образе этой группы.