6.4 模型证明