§ Lefschetz fixed point theorem (TODO)