Let be the vertices of a regular simplex centered at zero in . The displayed spherical Voronoi cells are a closed cover by sets. If and belonged to the same cell, all their scalar products with the vertices would coincide. Their sum is zero and the vertices span the ambient vector space, so this would force , a contradiction. Thus each cell contains no antipodal pair. Together with the Lusternik-Schnirelmann-Borsuk theorem, this shows is the minimum number of antipodal-free members of a finite closed cover.