加入主定理