ゴッパ符号
従って f ∈ L ( G − D ) {\displaystyle f\in L(G-D)} である。逆に f ∈ L ( G − D ) {\displaystyle f\in L(G-D)} と仮定する。すると
P i < G , i = 1 , ... , n {\displaystyle P_{i}<G,i=1,\dots ,n}
なので
d i v ( f ) > D {\displaystyle \mathrm {div} (f)>D}
である(G は − D {\displaystyle -D} で問題を解かないので、代わりに f でそれをする必要がある)。従って
f ( P i ) = 0 , i = 1 , ... , n {\displaystyle f(P_{i})=0,i=1,\dots ,n}
となる。 d ≥ n − deg  ( G ) {\displaystyle d\geq n-\deg(G)} を示すため、 α ( f ) {\displaystyle \alpha (f)} のハミング重みを d とする。これはつまり、 n − d {\displaystyle n-d} 個の P i {\displaystyle P_{i}} (例えば P i 1 , .