No CrossRef data available.
Published online by Cambridge University Press: 26 February 2010
Let Λ be a lattice in 3-dimensional space which provides a double covering for spheres of unit radius. By this we mean that if X is any point of space, there are at least two distinct lattice points P, Q such that XP ≤ 1, XQ ≤ 1. Let d(Λ) be the determinant of Λ. We shall prove that

where
