展开 数学定义定理符号辅题证明