Hoare逻辑：严格减少循环变量本身如何证明终止？
Hoare逻辑：严格减少循环变量本身如何证明终止？ -...