Arithmetic Theory of Elliptic Curves