О системах уравнений в свободных группах

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