命題
BをDedekind環、Pをその(非零)素イデアルとする。
πを P - P^2 の任意の元とし、S を B/P の剰余類の完全代表系とする。
αをBの任意の元とし、m > 0 を任意の整数とする。
α = a_0 + a_1π + ... + a_(m-1)π^(m-1) (mod P^m)
となる。ここで、各 a_i ∈ S

この証明も演習問題として提出しておく(証明は高木に載っているが)。