A direct consequence is the Tate conjecture for abelian varieties which Gerd Faltings had proved with totally different methods which has many applications in modern arithmetic geometry.
Eine direkte Konsequenz ist die Tate-Vermutung für abelsche Varietäten, die Gerd Faltings mit völlig anderen Methoden bewiesen hat und die in der modernen arithmetischen Geometrie viele Anwendungen findet.