Ah, ok. Thus, I still do not see where there must be an invariant (unless you are talking about induction) but here it goes :
Ah, está bien. Por lo tanto, todavía no veo en que debe haber una invariante (a menos que se trate de inducción), pero aquí va: