标签: 数学边界证明