关于抽象函数的一道证明题,