证明定义域是减函数(21个结果)
证明定义域是减函数