Katz–Lang finiteness theorem
In number theory, the Katz–Lang finiteness theorem, proved by, states that if X is a smooth geometrically connected scheme of finite type over a field K that is finitely generated over the prime field, and Ker is the kernel of the maps between their abelianized fundamental groups, then Ker is finite if K has characteristic 0, and the part of the kernel coprime to p is finite if K has characteristic p > 0.
