R^nにおける正m面体とは？
5次元以上では正多胞体はsimplex,cube,orthoplexの3タイプだけで、それぞれn+1胞体,2n胞体,2^n胞体
n+1胞体は立体角がarccos(1/n)だから3次元以上で充填不可
2n胞体は常に可
2^n胞体は知らん