3.13 加法定理