 The proof then exploits a formula by J. Hersch from integral geometry.Namely, consider the family of figure-8 loops on a football, with the self-intersection point at the equator.Hersch's formula expresses the area of a metric in the conformal class of the football, as an average of the energies of the figure-8 loops from the family.