He proved there is a natural isomorphism:where k is a perfect field of characteristic p, W(k) is the Witt ring of k, K is the fractional field of W(k), K|- is a fixed algebraic closure of K, K~(cyc) is the exension of K by joining all roots of unity.

• 是K的一个固定的代数闭包，K~(cyc)是K添加所有的单位根。 在我们的研究中，特征0的问题与特征p的问题经常是相互转化的，如在第一部分，我们必须将特征p的域提升至特征0；