group law on elliptic curves (and counting points with brute force methods)