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