正単体切頂切稜型ペトリー多面体は面数公式を陽に表すことができる奇跡的な多面体であるからである．

　　ｆk＝２（２^k+1−１）（ｎ＋１，ｋ＋２）　　（ｋ＝０〜ｎ−１）

　また，正単体切頂切稜型のペトリー多面体の頂点に集まるｎ−ｋ次元面は

　　（ｎ−１，ｎ−ｋ）（１，１）^n-k

で計算できる．これはｎ−１次元正軸体（ｎ−１，ｋ）２^kのｎ−ｋ次元面数である．

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

　たとえば，｛３，３，３，３，３｝（１，０，０，０，０，１）＝（４２，２１０，４９０，６３０，４３４，１２６）の場合

　頂点回りには

　　切頂面｛３，３，３，３｝（００００１）１個・・・頂点数６

　　切稜面｛３，３，３｝（０００１）×｛｝（１）５個・・・頂点数１０

　　２次元面｛３，３｝（００１）×｛３｝（１０）１０個・・・頂点数１２

　　３次元面｛３｝（０１）×｛３，３｝（１００）１０個・・・頂点数１２

　　４次元面｛｝（１）×｛３，３，３｝（１０００）５個・・・頂点数１０

　　５次元面｛３，３，３，３｝（１００００）１個・・・頂点数６

　　ｆ5＝（２／６＋１０／１０＋２０／１２）ｆ0＝１４＋４２＋７０＝１２６　　（１，５，１０，１０，５，１）＝（１，１）^5

　ｎ−２次元面

　　｛３，３，３｝（０００１）１０個・・・頂点数５

　　｛３，３｝（００１）×｛｝（１）４０個・・・頂点数８

　　｛３｝（０１）×｛３｝（１０）３０個・・・頂点数９

　　ｆ4＝（１０／５＋４０／８＋３０／９）ｆ0＝８４＋２１０＋１４０＝４３４　　（５，２０，３０，２０，５）＝５（１，１）^4

　　三角錐７０，三角柱４２０

　　｛３，３｝（００１）２０個・・・頂点数４

　　｛３｝（０１）×｛｝（１）６０個・・・頂点数６

　　ｆ3＝（２０／４＋６０／６）・ｆ0＝２１０＋４２０＝６３０　　（１０３０，３０，１０）＝１０（１，１）^3

　　三角形２８０枚，四角形２１０枚

　　｛３｝（０１）２０個・・・頂点数３

　　｛｝（１）×｛｝（１）２０個・・・頂点数４

　　ｆ2＝（２０／３＋２０／４）・ｆ0＝２８０＋２１０＝４９０　　（１０２０，１０）＝１０（１，１）^2

　次数１０で，辺回りに三角形４，四角形４，正四面体６，三角柱１８

　　ｆ1＝（１０／２）・ｆ0＝２１０

　　ｆ1＝（５／２＋５／２）・ｆ0＝２１０　　（５，５）＝５（１，１）

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