Lefschetz fixed point theorem