(elliptic curve $y^2 = x^3 + ax^2 + bx + c$)
Nagell-Lutz theorem:
If $p(x, y)$ is finite order on a given integer coefficient elliptic curve satisfy:
(1) x and y are integer
(2) y = 0 or y | D (D is discriminant)
(3) there is finite such points
here is what on the lecture note that I do not understand
"if point $p(x,y)$ satisfied $y = 0$, $P$ must have order 2, because $P + P = O$"
can someone explain above explanation?