ハミング距離
さもなくば、formula_16 を符号語として追加しても、その符号の最小ハミング距離 formula_3 は変化しない（formula_22 が最大であるという前提に矛盾する）。