部分正确性证明

[计] partial correctness proof

bù fèn zhèng què xìng zhèng míng ㄅㄨˋ ㄈㄣˋ ㄓㄥˋ ㄑㄩㄝˋ ㄒㄧㄥˋ ㄓㄥˋ ㄇㄧㄥˊ