ループ不変 ふへん しきであれば
rūpufuhenshikideareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of ループ不変式

1. If the loop invariant holds; When the loop invariant holds

Ba Conditional
Computing