Group Law on an Elliptic Curve over a Finite Field