Điều kiện bất biến của vòng lặp