Talk:Katz–Lang finiteness theorem