３次元空間上に球体を敷き詰めるには面心立方格子が最密であることを証明せよ