定义证明减函数(73个结果)
定义证明减函数