Redirecting to Lefschetz fixed-point theorem