Atiyah-Bott fixed-point formula