Suppose a finite group has the property that for every $x, y$, it follows that
\begin{equation*} (xy)^3 = x^3 y^3. \end{equation*}
How do you prove that it is abelian?
Edit: I recall that the correct exercise needed in addition that the order of the group is not divisible by 3.