证明是单减函数(1个结果)
证明是单减函数