ｈk^(n)＝Σ(j=0~tp)(-1)^jｇj^(n)ｆk^(n-1ｰj)　　（０≦ｋ≦ｎ−１）

切頂型では

　　ｆk^(n)＝ｈk^(n)＋ｇk^(n)　　（ｔｐ＋１≦ｋ≦ｎ−１）

切頂切稜型では

　　ｆk^(n)＝ｈk^(n)＋Σ(j=tp+1~k)ｇj^(n)ｆ(k-j)^(n-1ｰj)　　（ｔｐ＋１≦ｋ≦ｎ−１）

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

　（その２２７）では話を簡単にするためｔｐ＝０とおいたが，正単体切頂型ペトリー多面体ではｔｐ＝０とおくことはできないので，ｔｐ＝０とせずに，ｋ＝０とおくと，

　　ｈk^(n)＝Σ(j=0~tp)(-1)^jｇj^(n)ｆk^(n-1ｰj)

　　ｆ0^(n)＝Σ(j=0~tp)(-1)^jｇj^(n)ｆ0^(n-1ｰj)

ファセット数を得るために，ｋ＝ｎ−１とおくと，

　　ｈn-1^(n)＝Σ(j=0~tp)(-1)^jｇj^(n)ｆn-1^(n-1ｰj)

　正単体切頂切稜型ペトリー多面体では，ｔｐ＝０なので，

　　ｆn-1^(n)＝ｈn-1^(n)＋Σ(j=1~n-1)ｇj^(n)ｆ(n-1-j)^(n-1ｰj)

＝ｇ0^(n)ｆ(n-1)^(n-1)＋ｇ1^(n)ｆ(n-2)^(n-2)＋・・・＋ｇn-1^(n)ｆ(0)^(0)

　　ｇk^(n)=(n+1,k+1)＝（ｎ＋１）！／（ｋ＋１）！（ｎ−ｋ）！

であるから，

　　ｇ0^(n)=(n+1,1)＝ｎ＋１

　　ｇ1^(n)=(n+1,2)＝（ｎ＋１）ｎ／２＝ｇ0^(n)・ｎ／２

　　ｇ2^(n)=(n+1,3)＝（ｎ＋１）ｎ（ｎ−１）／６＝ｇ0^(n)・ｎ（ｎ−１）／６

　　ｇn-1^(n)=(n+1,n)＝ｎ＋１

であるから，

　　ｆn-1^(n)／ｆ0^(n)＝｛ｇ0^(n)ｆ(n-1)^(n-1)＋ｇ1^(n)ｆ(n-2)^(n-2)＋・・・＋ｇn-1^(n)ｆ(0)^(0)｝／｛ｇ0^(n)ｆ0^(n-1)｝

＝｛(n+1,1)ｆ(n-1)^(n-1)＋(n+1,2)ｆ(n-2)^(n-2)＋・・・＋(n+1,n)ｆ(0)^(0)・１｝／｛(n+1,1)ｆ0^(n-1)｝

　一方，頂点回りのファセットは

　　切頂面・・・頂点数ｆ0^(n-1)＝１・ｎ＝ａ

　　切稜面・・・頂点数ｆ0^(n-2)・２＝２（ｎ−１）＝ｂ

　　２次元面・・・頂点数ｆ0^(n-3)・３＝３（ｎ−２）＝ｃ

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

　　ｎ−１次元面・・・頂点数ｆ0^(0)・ｎ＝ｎ・１

となる．

　ここで，

　　ｆn-1^(n)／ｆ0^(n)＝｛ｘ／ａ＋ｙ／ｂ＋ｚ／ｃ＋・・・｝

とおくと，

　　ｘ／ａ＝(n+1,1)ｆ(n-1)^(n-1)／(n+1,1)ｆ0^(n-1)

　　ｙ／ｂ＝(n+1,2)ｆ(n-2)^(n-2)／(n+1,1)ｆ0^(n-1)

　　ｚ／ｃ＝(n+1,3)ｆ(n-3)^(n-3)／(n+1,1)ｆ0^(n-1)

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