4.3.1 正确性分析