We should really work in the projective plane, so as to have a point “at infinity” which resolves this issue and serves as the identity element for the group.