展开 数学定理的定义是什么