theorem Th11: :: GRSOLV_1:11

for G, H being Group
for h being Homomorphism of G,H holds
( h .: ((1). G) = (1). H & h .: ((Omega). G) = (Omega). (Image h) )