О разрешимости уравнений над группами: конечные и локально индикабельные группы

Уравнение $w(x_1,\dots x_n)=1$ называется разрешимым над группой $G$, если $G$ вложима в какую-то группу, в которой есть решение данного уравнения.
Теорема Ницше–Тома утверждает, что над конечной группой разрешимо любое уравнение с нетривиальным содержанием. Теорема Бродского–Хауи–Шорта говорит, что если группа локально индикабельна, то над ней класс разрешимых уравнений ещё шире.
Наш (с А. А. Клячко) результат обобщает эти две теоремы.