ついでにもうひとつ補足しておきたい．単純多面体では

　　ｆ1＝ｎ／２・ｆ0

となるが，２^n＋２ｎ胞体では，

［ａ］ｎが奇数のとき

　　ｆ0＝ｎ！／｛（ｎ−１）／２｝！｛（ｎ−１）／２｝！・２^(n+1)/2

　　ｆ1＝３ｆ0・（ｎ−１）／４

［ｂ］ｎが偶数のとき

　　ｆ0＝ｎ！／｛ｎ／２｝！｛ｎ／２｝！・２^n/2

　　ｆ1＝ｆ0（ｎ／２）^2

が成り立つ．

［１］３ｆ0・（ｎ−１）／４＞ｎ／２・ｆ0

が成り立つのは，ｎ＞３のときである．

［２］ｆ0（ｎ／２）^2＞ｎ／２・ｆ0

が成り立つのも，ｎ＞２のときである．

　すなわち，ｎ＞３であれば２^n＋２ｎ胞体は単純多面体にはなりえない．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝