dodecahedral conjecture
theorem that the volume of any cell in the Voronoi decomposition for a sphere packing is no less than the volume of a regular dodecahedron circumscribed to a unit sphere
theorem that the volume of any cell in the Voronoi decomposition for a sphere packing is no less than the volume of a regular dodecahedron circumscribed to a unit sphere