10.3.2 正确性证明