د دې څخه لومړی د برنارډ ډ ورک لخوا ثابت شو. د ℓ-adic cohomology له لارې د لومړیو دوو څخه په بشپړه توګه مختلف ثبوت، د الکساندر ګروتنډیک لخوا ورکړل شوی.