抽象函数的性质的验证