 Canonical-height lattice-point growth

If an elliptic curve over $\mathbb{Q}$ has Mordell-Weil group of rank $r$, then its canonical height of an elliptic curve is a positive-definite quadratic form on the free lattice. Consequently