Il prin di chescj al è provât da Bernard Dwork; une prove dal dut divierse dai prins doi, cun la coomologjie ℓ-adic, e je date da Alexander Grothendieck.