主定理