在 证明 复杂 的 数学 理论 时 ， 逆定理 扮演 了 关键 角色 。