7.4.1 正确性分析