定义定理公式