3.4 循环不变式的概念和应用