Bulardan ilki Bernard Dwork tarafından isbat etildi; ℓ-adik kohomoloci yolunen ilk ekisiniñ tamamen farqlı bir isbatı Alexander Grothendieck tarafından berildi.