theorem Th24: :: GRCAT_1:24

for f being strict GroupMorphism holds {f} is GroupMorphism_DOMAIN