theorem :: GROUP_6:77

for G, H being Group st G,H are_isomorphic & G is commutative holds
H is commutative