正确性证明

correctness proof