Cross-Sections of Leech Lattice

Theorem
Except for dimensions $10$, $11$ and $13$, the densest possible sphere packing in all dimensions lower than $24$ can be obtained by cross-sections of the $24$-dimensional space Leech lattice arrangement.