 The Gross–Zagier theorem describes the height of Heegner points in terms of a derivative of the L-function of the elliptic curve at the point "s" = 1.In particular if the elliptic curve has (analytic) rank 1, then the Heegner points can be used to construct a rational point on the curve of infinite order (so the Mordell–Weil group has rank at least 1).More generally, showed that Heegner points could be used to construct rational points on the curve for each positive integer "n", and the heights of these points were the coefficients of a modular form of weight 3/2.