Lefschetz fixed-point theorem
= Lefschetz fixed-point theorem
{c}
{wiki}
If $L(f)\ne0$, then $f$ has a fixed point. For a fixed-point-free map, sufficiently fine simplicial approximation has zero diagonal chain coefficients, hence zero Lefschetz number.