9.1.2 检验推测