Einen Anfang hätte ich:
Seien g, h ∈ G. Da f surjektiv ist, gibt es a,b ∈ G mit g=a^3 und h=b^3.
Da f ein Hom. ist gilt f(g*h) = f(g)*f(h)
==> (g*h)^3 = g^3 * h^3
==> g*h*g*h*g*h = g*g*g*h*h*h
Da h ∈ G , besitzt h ein Inverses h-1 und damit (von rechts)
multipliziert entsteht die Gleichung
g*h*g*h*g = g*g*g*h*h
entsprechend mit h-1 von links gibt es
h*g*h*g = g*g*h*h also das gewünschte
(h ∗ g)^2 = g^2 ∗ h^2 für alle g, h ∈ G.