#group law #point addition #point at infinity #abelian group #elliptic curve arithmetic #curve group