I read paper, in page 21, there is a proposition:

Let $(M,\omega)$ be a closed symplectic manifold with $\pi_2(M)=0$. Let {$f_t$}, $f_0$ = id, $f_1= f$ be a Hamiltonian path on M generated by a Hamiltonian function F. Assume that $f \ne$id. Then $f$ has a pair of ﬁxed points x and y so that their orbits {$f_tx$} and {$f_ty$} are contractible and A(F, y) − A(F, x) $\ne$ 0.

Above it, it says

The following deep fact is proved in Sch by using Floer homology

But I cannot find this result of the paper he mentioned. So how could we prove the proposition? Thanks in advance.