Изменения

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