theorem :: GROUP_6:47

for G, H being Group holds Image (1: (G,H)) = (1). H