（その７３）では後者を３倍することによって正しい答えとなったが，ｎ＝７の場合で確かめてみたい．

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

　｛３，３，３，３，３，４｝（０，０，１，１，０，０，０）

の切頂点に集まるｎ−２次元面数は

　　（ｔｐ＋１，２）＋２^n-2-fp（ｎ−１−ｆｐ）

になるはずです．ｔｐ＝２，ｆｐ＝３

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

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

　　ｆ5＝（３／８０＋１２／６０）・ｆ0

　　ｆ0＝２２４０→ｆ5＝８４＋４４８＝５３２→ＮＧ

後者を３倍すると

　　ｆ5＝（３／８０＋３６／６０）・ｆ0

　　ｆ0＝２２４０→ｆ5＝８４＋１３４４＝１４２８→ＯＫ

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