Изменения

|proof=Пусть слова '''x''' и '''yz''' отличаются в некоторой позиции '''t'''. Тогда какое бы слово '''zy''' мы ни взяли, оно в этой позиции будет отличаться по крайней мере от одного из слов '''x''' и '''yz'''. Следовательно, суммируя в правой части <tex>~d(x, zy)</tex> и <tex>~d(y, z, y)</tex>, мы обязательно учтем все позиции, в которых различались слова '''x''' и '''yz'''.}}