This theorem, concerning the finite generation of the group of rational points on an elliptic curve, is beautifully surveyed in .
Ito teorama, tungkol sa hangganan henerasyon ng mga grupo ng mga puntos sa katuwiran ng isang tambilugin liko, ay beautifully ipasukat sa.