It was introduced by Faltings (1991) in his proof of Lang's conjecture that subvarieties of an abelian variety containing no translates of non-trivial abelian subvarieties have only finitely many rational points.
Den introducerades av Faltings (1991) i hans bevis av Langs förmodan att delvarieteter av en abelsk varietet som inte innehåller translationer av icke-triviala abelska delvarieteter ar bara ändligt många rationella punkter.