2.4.4 验证与确定前提