"c" を "a" の任意の部分多様体に置き換え、"γ" を任意の "a" の有限ランクの部分群へ置き換えることで、(mordell-lang conjecture)が導出される。