部分正确性证明的英文翻译

中文：部分正确性证明