additive theorem