卡爾·弗里德里希·高斯
Carl Friedrich Gauss proved in 1831 that these packings have the highest density amongst all possible lattice packings.