Prove G is abelian. Let G be a group. Prove or disprove: We have $(g_1 * g_2)* g_3 = (g_3 * g_2) * g_1 \forall g_1, g_2, g_3 \in G$ if and only if G is abelian.
I am currently studying my old notes but it seems I found this intuitively easy to prove before that I did not write out a formal proof, but am unable to prove it now. Any suggestions are helpful.

The backward direction (if $G$ is abelian, then the statement in your question holds) should be straightforward - use associativity an the abelian property to change the left-hand side into the right-hand side.
For the forward direction, note that $g_1,g_2$, and $g_3$ have their relative positions swapped in the equation. So in particular, if you set one of them, say $g_1$, equal to the group identity element, then that equation says $g_2*g_3=g_3*g_2$. You are allowed to do so because the equation holds for all $g_1\in G$, and the resulting equation $g_2*g_3=g_3*g_2$ then also holds for all $g_2,g_3 \in G$.
