Linvariante calteníu al traviés del algorítmo ye que pueda tresformar el segmentu inicial str1[1..i] en str2[1..j] emplegando un mínimu de d[i,j] operaciones. A la fin, lelementu allugáu na parte INFERIOR derecha de la matriz contién la respuesta.