for G, H being Group
for g being Homomorphism of G,H st G is commutative Group holds
Image g is commutative