Loop Invariant Method