theorem Th14: :: GRCAT_1:14

for F being GroupMorphism ex G, H being AddGroup st F is Morphism of G,H