principle addition canonical expansion theorem

• 主加法标准展开定理