ハミング距離
Let formula_35 be a Hamming distance of two messages formula_36 and formula_37. Then for any message formula_38, we have: formula_39. Therefore: