ループ不変式

ループふへんしき