豪伊定理

令 为具有八个顶点的本原多胞形。则存在一个单模映射，将 映射到顶点为 (0, 0, 0), (1, 0, 0), (0, 1, 0), (0, 0, 1), (0, 1, 1), (1, , ), (1, , ), 和 (1, , ) 的多面体，其中 , , 且 。此外，任何顶点少于八个的本原多面体都可以嵌入到具有八个顶点的多面体中。