theorem Th68: :: GROUP_24:64

for G1, G2 being Group st G2 is trivial holds
for phi being Homomorphism of G1,G2 holds phi = 1: (G1,G2)