$(g_1 g_2)^m = g_1^m g_2^m \Leftrightarrow g_1 g_2 = g_2 g_1$ -- Question from Mac Lane and Birkhoff (Chapter II, section 3, problem 7)
If G is a group, prove that $(ab)^n =a^nb^n$ implies G is abelian.