Унипотентность образа представления группы $F_2$ при отображении примитивных элементов в унипотентные матрицы с малыми клетками Жордана

Доказано, что образ представления свободной группы $F_2(x, y)$ в $GL(n, C)$ является унипотентной подгруппой, если $(\rho (p) - E)^5 = 0$ для любого примитивного элемента $p$ и $(\rho(\xi) - E)^2 = 0$, $(\rho(\gamma) - E)^3 = 0$ для каких-то ассоциированных примитивных элементов $\xi$ и $\gamma$ группы $F_2$ .