Addition theorem