Theorem 13.7. $ĥ:E(\mathbb{Q})\to {ℝ}_{\ge 0}$ is a quadratic form.