Lemma 13.4. Assuming that:

  • B>0

Then
#{P∈E(ℚ)|ĥ(P)≤B}<∞.