loop-invariant computation - Turco Inglés Diccionario