8.2.1 正确性分析