14.6.1 正确性分析