证一个函数为常数(1个结果)
证一个函数为常数