xn) such that for each (m1, . . . , mn)∈(N\ {0})nthe translates of the function p(x1,

First, note that there is a version of the Conley-Zehnder theorem for the annulus which implies that every rotationless homeomorphism g has at least two fixed points with zero