对我们这个定义的补充和证明