Generic Denis–Mordell–Lang conjecture.
Denis–Mordell–Lang conjecture. There exists an AAA-module GotiHG ot i HGotiH such that