for f being strict GroupMorphism holds {f} is GroupMorphism_DOMAIN