Como ahora sabemos, la ruta hacia su prueba, y otros avances, yace en la construcción de la cohomología etal.