Supón que $G$ es un grupo finito generado por los dos elementos $g$ y $h$, donde el orden de $g$ es impar. Demuestra que todo elemento de $G$ se puede escribir en la forma \[g^{m_1}h^{n_1}g^{m_2}h^{n_2}\cdots g^{m_r}h^{n_r}\] con $1\le r\le |G|$ y $m_n,n_1,m_2,n_2,\dots,m_r,n_r\in\{1,-1\}.$ (Aquí $|G|$ es el número de elementos de $G$.) Kent