How To Prove A Group Is Abelian