The Group Law for Elliptic Curves