找到合适的循环不变式能验证

找到合适的循环不变式能验证
A.程序的部分正确性。
B.程序的全部正确性。
C.程序的全部错误。
D.程序的全部逻辑错误。
正确答案：程序的部分正确性。