プロトキン限界
また、formula_1 の符号語を並べた formula_41 の行列を formula_42 とする（行が符号語に対応）。formula_42 の formula_44番目の列にあるゼロの個数を formula_45 とする。つまり、formula_44番目の行には formula_47 個の1がある。formula_48 であるため、formula_49 という総和におけるある行の1や0の寄与は常に formula_50 である。従って、次が成り立つ。