How can I show that a half-exact functor is additive.