André Weil demostró esto para el caso general, alrededor de 1940 (nota de "Comptes Rendus", abril de 1940) y dedicó mucho tiempo en los años posteriores, escribiendo la geometría algebraica asociada).