sia G'(il derivato di G cioe il sottogruppo generato dai commutatori) un gruppo periodico abeliano
sia x un elemento di G' come si fa a dimostare che x^G (G è un gruppo risolubile finitamente generato e x^G è la chiusura normale di x in G)
è un gruppo abeliano di esponente finito?