B6 Sea $H$ un subgrupo con $h$ elementos en un grupo $G$. Supón que $G$ tiene un elemento $a$ tal que para todo $x$ en $H$, $(xa)^3=1$, la identidad. En $G$, sea $P$ el subconjunto de todos los productos $x_1ax_2a\dots x_na$, con $n$ un entero positivo y los $x_i$ en $H$. (a) Muestra que $P$ es un conjunto finito. (b) Muestra que, de hecho, $P$ tiene a lo más $3h^2$ elementos.