Identity Element Law for Elliptic Curve Addition