‘t Ierste woort beweze door Bernard Dwork. ‘n Gans anders bewies vaan de ierste twie, via ℓ-adiese cohomologie, woort gegeve door Alexander Grothendieck.