loop-invariant computation - Francés Inglés Diccionario