Ｐ^(n)＝（０0・・０i１＊＊１j０・・０n-1）

の原正多面体は０−ｉ次元面が消失する．

　頂点にはｇ0個のｎ−１次元多面体

　　Ｐ^(n-1)＝（０1・・０i１＊＊１j０・・０n-1）

ができる．

ｇ1個の辺のＰ^(n-2)＝（０2・・０i１＊＊１j０・・０n-1）

・・・・・・・・・・・・・・・・・・・・

ｇi個のｉ次元面のＰ^(n-i-1)＝（１＊＊１j０・・０n-1）

の共通部分を生ずる．

　Ｐ^*の面数をＳ^*（０〜ｎ−１次元面数までのｎ桁）とするが，包除公式すなわち重複する分を引いて，引きすぎた分を足し直してということを繰り返すと

ｆ0＝ｇ0Ｓ^(n-1)（０）−ｇ1Ｓ^(n-2)（０）＋ｇ2Ｓ^(n-3)（０）＋・・（−１）^i・＋ｇiＳ^(n-i-1)（０）

・・・・・・・・・・・・・・

ｆn-1＝ｇ0Ｓ^(n-1)（ｎ−１）−ｇ1Ｓ^(n-2)（ｎ−１）＋ｇ2Ｓ^(n-3)（ｎ−１）＋・・（−１）^i・＋ｇiＳ^(n-i-1)（ｎ−１）

　ｉ＋１次元以上では，原正多面体の分も加わってくるので，補正する．

ｆk＝ｆk＋Σ(m=i+1~k)ｇmＳ^(n-1-m)（ｋ−ｍ）　　ｋ＝ｉ＋１〜ｎ−１

ｊ＝ｎ−１→ｋ＝ｎ−２のとき，Ｓ^(n-1-m)（ｋ−ｍ）＝２

ｊ≠ｎ−１→ｋ＝ｎ−２のとき，Ｓ^(n-1-m)（ｋ−ｍ）＝１

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