证明函数有定义(16个结果)
证明函数有定义