Nang pertama dibukti akan oleh Bernard Dwork; bukti nang sama sekali beda dari dua nang pertama, melalui kohomologi ℓ-adik, dijulungi oleh Alexander Grothendieck.