donde las cantidades del miembro de la derecha son invariantes de la curva, estudiadas por Cassels, Tate, Shafarevich y otros: éste incluye el orden del grupo de torsión, el orden del grupo de Tate–Shafarevich, y las alturas canónicas de una base de puntos racionales.