Mordell-Weil theorem

GPTKB entity