ｆ1公式を大域的に考えてみることにする．ｋ次元正単体内でも辺数がわかっていると仮定するが，頂点が単体表面にある場合の場合と頂点が単体内部にある場合で事情が違ってくる．表面にある場合はｋ次元正単体が結合しても新たな辺は生じないが，内部にある場合は新たな辺を生じるのである．

　（その２０３）より，ｆ0公式はいずれも正単体内部にあると考えることができることがわかった．そのため新たな辺を生じることを考えると，１次元面の数は

　　ｌｆ0＋ｍｆ1＋ｎｆ2

の形で書くのが自然な発想であることがわかった．ここで，（１，ｍ，ｎ）は縮退情報への変換規則に従う整数である．

　しかし，それでも辺数を求めるのも簡単ではなさそうである．４次元の場合も，縮退情報への変換規則を使って表すことができるだろうか？

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

［１］形状ベクトル［１，０，０，０］の場合

　正軸体：ｍ0＝０，ｍ1＝０，ｍ2＝０，ｍ3＝３

　正単体：ｍ0＝０，ｍ1＝０，ｍ3＝０，ｍ3＝４

［２］形状ベクトル［０，１，０，０］の場合

　正軸体：ｍ0＝？，ｍ1＝０，ｍ2＝０，ｍ3＝？

　正単体：ｍ0＝？，ｍ1＝０，ｍ3＝０，ｍ3＝？

［３］形状ベクトル［０，０，１，０］の場合

　正軸体：ｍ0＝？，ｍ1＝０，ｍ2＝０，ｍ3＝？

　正単体：ｍ0＝？，ｍ1＝０，ｍ3＝０，ｍ3＝？

［４］形状ベクトル［０，０，０，１］の場合

　正軸体：ｍ0＝８，ｍ1＝０，ｍ3＝０，ｍ4＝０

　正単体：ｍ0＝４，ｍ1＝０，ｍ3＝０，ｍ4＝０

［５］形状ベクトル［１，１，０，０］の場合

　正軸体：ｍ0＝？，ｍ1＝０，ｍ2＝０，ｍ3＝？

　正単体：ｍ0＝？，ｍ1＝０，ｍ3＝０，ｍ3＝？

［６］形状ベクトル［１，０，１，０］の場合

　正軸体：ｍ0＝？，ｍ1＝？，ｍ3＝０，ｍ4＝？

　正単体：ｍ0＝？，ｍ1＝？，ｍ3＝０，ｍ4＝？

［７］形状ベクトル［１，０，０，１］の場合

　正軸体：ｍ0＝？，ｍ1＝？，ｍ3＝？，ｍ4＝？

　正単体：ｍ0＝？，ｍ1＝？，ｍ3＝？，ｍ4＝？

［８］形状ベクトル［０，１，１，０］の場合

　正軸体：ｍ0＝？，ｍ1＝０，ｍ2＝０，ｍ3＝？

　正単体：ｍ0＝？，ｍ1＝０，ｍ3＝０，ｍ3＝？

［９］形状ベクトル［０，１，０，１］の場合

　正軸体：ｍ0＝？，ｍ1＝０，ｍ3＝？，ｍ4＝？

　正単体：ｍ0＝？，ｍ1＝０，ｍ3＝？，ｍ4＝？

［１０］形状ベクトル［０，０，１，１］の場合

　正軸体：ｍ0＝？，ｍ1＝０，ｍ2＝０，ｍ3＝？

　正単体：ｍ0＝？，ｍ1＝０，ｍ3＝０，ｍ3＝？

［１１］形状ベクトル［１，１，１，０］の場合

　正軸体：ｍ0＝？，ｍ1＝０，ｍ2＝０，ｍ3＝？

　正単体：ｍ0＝？，ｍ1＝０，ｍ3＝０，ｍ3＝？

［１２］形状ベクトル［１，１，０，１］の場合

　正軸体：ｍ0＝？，ｍ1＝？，ｍ3＝？，ｍ4＝？

　正単体：ｍ0＝？，ｍ1＝？，ｍ3＝？，ｍ4＝？

［１３］形状ベクトル［１，０，１，１］の場合

　正軸体：ｍ0＝？，ｍ1＝？，ｍ3＝？，ｍ4＝？

　正単体：ｍ0＝？，ｍ1＝？，ｍ3＝？，ｍ4＝？

［１４］形状ベクトル［０，１，１，１］の場合

　正軸体：ｍ0＝？，ｍ1＝０，ｍ3＝？，ｍ4＝？

　正単体：ｍ0＝？，ｍ1＝０，ｍ3＝？，ｍ4＝？

［１５］形状ベクトル［１，１，１，１］の場合

　正軸体：ｍ0＝４８，ｍ1＝１６，ｍ3＝１２，ｍ4＝２４

　正単体：ｍ0＝２４，ｍ1＝１２，ｍ3＝１２，ｍ4＝２４

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