ハミング距離
とする。すると、全ての formula_14 について少なくとも1つの符号語 formula_15 が存在し、formula_16 と formula_17 の間のハミング距離 formula_18 に対して次が成り立つ。