2. The hypothesis implies that $(ab)(ab) = e.$ Hence, $ab = b^{-1}a^{-1}$. SInce $b^{-1}=b$ and $a^{-1}=a$, we're done.