Lefschetz trace formula