部分正确性证明 【计】 partial correctness proof