证明一个函数为常数(4个结果)
证明一个函数为常数