cohomology: general additivity axiom