theorem ThMorphismOfCommutators: :: GROUP_23:56

for G1, G2 being Group
for phi being Homomorphism of G1,G2
for x being Element of G1 st x in commutators G1 holds
phi . x in commutators G2