定义与证明