证明终止性

找一个非负整数量，每轮严格减小。它不能无限减，所以循环必然结束。