豪伊定理

令 為具有八個頂點的本原多胞形。則存在一個單模對映，將 對映到頂點為 (0, 0, 0), (1, 0, 0), (0, 1, 0), (0, 0, 1), (0, 1, 1), (1, , ), (1, , ), 和 (1, , ) 的多面體，其中 , , 且 。此外，任何頂點少於八個的本原多面體都可以嵌入到具有八個頂點的多面體中。