El primo de questi l’è stà provà da Bernard Dwork; na prova completamente diversa dei primi dò, co ła cohomołogia ℓ-adic, ła xe stada data da Alexander Grothendieck.