ループ不変式るーぷふへんしき<るーぷ>・ふ'へん'[Dev]しき5

EDVSchleifeninvariante