English loop invariant: перевод на другие языки