let [tex]\varphi (G) [tex] be abelian want for [tex]x,y \in G [tex] we have

you should know that

so if we prove that

we are finished is homo which means and

not the converse direction for all we have

want abelian

let

but it is homo

the proof ends