>>968
加法定理