State the Lefschetz fixed point theorem.
Let n⩾2 be an integer, and x0∈S2 a choice of base point. Define a space
X:=(S2×Z/nZ)/∼
where Z/nZ is discrete and ∼ is the smallest equivalence relation such that (x0,i)∼ (−x0,i+1) for all i∈Z/nZ. Let ϕ:X→X be a homeomorphism without fixed points. Use the Lefschetz fixed point theorem to prove the following facts.
(i) If ϕ3=IdX then n is divisible by 3 .
(ii) If ϕ2=IdX then n is even.