我在读CLRS的《算法导论》。在第二章中,作者提到了“循环不变量”。什么是循环不变量?