He proved that there are no non-trivial abelian varieties over the rational numbers with good reduction everywhere (Il n'y a pas de variété abélienne sur Z, Inventiones Mathematicae vol.
Er bewies, dass es keine nichttrivialen abelschen Varietäten über den rationalen Zahlen mit überall guter Reduktion gibt (Il n'y a pas de variété abélienne sur Z, Inventiones Mathematicae Bd.