展开 数学中什么是定理和定义的关系