Katz–Lang Finiteness Theorem - Ontify