Mordell's Theorem