El invariante mantenido a través del algorítmo es que pueda transformar el segmento inicial codice_1 en codice_2 empleando un mínimo de codice_3 operaciones.