Корни из единицы как несвободные точки комплексной плоскости

Доказывается, что дробно-линейные преобразования комплексной плоскости
$$ A=\begin{pmatrix} 1 & \mu \\0 & 1 \end{pmatrix}\text{ и }B=\begin{pmatrix} 1 & 0 \\ \mu & 1 \end{pmatrix} $$
порождают несвободную группу $G$, если $\mu$ – комплексный корень любой степени из 1. Библ. 3 назв.