Elliptic Curves and the Mordell-Weil Theorem