标签 -- 循环不变量