主定理证明