ยง Lefschetz fixed point theorem (TODO)