Mordell's theorem