9.4.2 正确性分析