ループ不変式を見直す。