“…For each k ∈ N, we may use Lemma 4.4 with F = −Ĥ and pick a piecewise smooth curve z k : t ∈ [0, 1] → B R k (0) ⊂ C ≡ R 2 such that (i) z k (0) = z k (1) = (0, 0) and z(t k ) = p k for some t k ∈ (0, 1), (ii) -1 0Ĥ (z k (t))dt ≥ − 1 5Ĥ (p k ), and (iii) ż k (t) 2 dt ≤ 50π 2 R 2 k . Using these curves, we may define for each k ∈ N, the piecewise curve Z k : t ∈ [0, 1] → C given by Z k (t) = e iα∆t z k (t) for each t ∈ [0, 1], where α is defined in (6) and it is constant due the autonomous character of (M, g). Observe that, from construction,H(α∆t, Z k (t)) =Ĥ(z k (t)).…”