主定理公式