1 加法定理 — Addition theorem