Let $a,b \in \mathbb{Q}$ satisfy $4a^3+27b^2 \ne 0$, and let
paragraph
admin
\begin{align*}
E: y^2 = x^3 + ax + b
\end{align*}
latex_env
admin
be the nonsingular elliptic curve over $\mathbb{Q}$ in short Weierstrass form, with point at infinity $O$. Let $P=(x_1,y_1)$ and $Q=(x_2,y_2)$ be points of $E(\mathbb{Q})$ such that $P+Q \ne O$.