Lefschetz fixed-point formula