Informasi yang berkaitan dengan fr/Katz–Lang finiteness theorem