[ 第一章 ] 循环不变式的粗理解