for F being GroupMorphism holds the Fun of F is additive