｛３・・３｝（１１・・１１｝のｋ次元面公式を明示的に得るのは難しそうであるが，局所ｋ次元面公式はわかっていて，

　　（ｎ，ｎ−ｋ）＝（ｎ，ｋ）

となる．

　なお，｛３・・３｝（１０・・０１｝の局所公式は置換多面体とは異なるが，

　｛３・・３｝（１０・・００｝＝｛３・・３｝（００・・０１｝

　｛３・・３｝（１１０・・００｝＝｛３・・３｝（００・・０１１｝

　｛３・・３｝（０１１０・・００｝＝｛３・・３｝（００・・０１１０｝

　｛３・・３｝（００１１０・・００｝＝｛３・・３｝（００・・０１１００｝

　｛３・・３｝（１１１・・００｝＝｛３・・３｝（００・・１１１｝

　｛３・・３｝（０１１１・・００｝＝｛３・・３｝（００・・１１１０｝

　｛３・・３｝（００１１１・・００｝＝｛３・・３｝（００・・１１１００｝

の局所ｋ次元面公式も，

　　（ｎ，ｎ−ｋ）

となる．

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

　（１１・・・１１）では，頂点図形がｎ−１次元正単体になる．したがって，頂点に集まるｋ次元面数は

　　（ｎ，ｋ）

となったが，また，正単体切頂切稜型のペトリー多面体（１０・・・０１）の頂点に集まるｋ次元面は

　　（ｎ−１，ｋ）２^k

で計算できる．

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