La primera de ellas fue demostrado por Bernard Dwork; una demostración completamente distinta de las dos primeras, a través de la cohomología ℓ-ádica, fue dada por Alexander Grothendieck.