“In any space of more than four dimensions, there exist exactly three regular polytopes the generalizations of the tetrahedron, the cube, and the octahedron.”