兹猜想是关于 formula_2 的尖点自守表示及某个伽罗瓦群的表示之间的对应。德林费尔德利用 штука 证明formula_51的情形。此猜想的难处在于构造满足特定性质的伽罗瓦表示，德林费尔德的高处在于从某个秩 formula_52 штука 的模空间的 formula_53-进上同调入手，找出相应的伽罗瓦表示。德林费尔德认为此法可延伸至 formula_54 的情形。拉福格最后克服了其中的大量技术困难，完成证明。