Hofer's topological lemma