Spheres in 24 Dimensions in Leech Lattice

Theorem
Let a set of identical spheres in a $24$-dimensional space be arranged in a Leech lattice.

Then each sphere will touch $196 \, 560$ other spheres.

This is believed to be the densest possible sphere packing in $24$ dimensions.