関連ワード:  loop invariant explained    loop invariant meaning    loop invariant definition    loop invariant meaning in tamil    loop invariant analysis    what is loop invariant    loop invariant examples    loop invariant proof examples