怎么证明函数有没有