Then there exists $c>0$ such that for all $P,Q\in E(\mathbb{Q})$ with $P,Q,P+Q,P-Q\ne 0$, we have

$$H(P+Q)H(P-Q)\le cH{(P)}^{2}H{(Q)}^2.$$