これまでの結果をまとめると，

［１］正単体系のｆ1公式

　　ｍ＝Σｓjｓj+1＋ｓr

［２］正軸体系のｆ1公式

　　ｍ＝Σｓjｓj+1＋ｓr

　　ｍ＝Σｓjｓj+1＋ｓr・ｓr+1　　（正軸体系で最後の要素が０の場合）

＝Σｓjｓj+1＋ｓr＋ｓr（末尾の０の並び−１）

［３］Ｈ3，Ｈ4のｆ1公式

　　ｍ＝Σｓjｓj+1＋ｓr＋ｓr（末尾の０の並び）

としても

　　｛３，３，５｝（１，０，０，０）：　７　（ＮＧ：正解は１２）

だけが修正できない．

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

　まず考えられる修正点は，五角形は三角形と四角形に分解できるということであった．

　　ｍ0＝Σｓjｓj+1＋ｓr・ｓr+1　　（正軸体系で最後の要素が０の場合）

　　ｍ1＝Σｓjｓj+1＋ｓr　　　　　　（それ以外）

　　ｍ2＝Σｓjｓj+1＋ｓr・ｓr+1＋ｓr

　Ｈ4のｍ2を計算してみると

　　｛３，３，５｝（１，０，０，０）：　７　（ＮＧ：正解は１２）

　　｛３，３，５｝（０，１，０，０）：　１０　（ＯＫ）

　　｛３，３，５｝（１，１，０，０）：　６　（ＯＫ）

　つじつまを合わせたいなら，

　　ｍ3＝Σｓjｓj+1＋ｓr＋ｓr・ｓr+1・２

　　ｍ4＝Σｓjｓj+1＋ｓr＋ｓr・ｓr+1・３

なども考えられるところであるが・・・．

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

　ところで，頂点まわりのファセット数は

［１］Ｈ3

　　第０項：（ｔｐ＋１，１）に相当するものは１→２→３

　　第ｎ−１項：正軸体では２^n-1-fp，正単体では（ｎ−ｆｐ，１）に相当するものは１→２→５と変化する．

［２］Ｈ4

　　第０項：（ｔｐ＋１，１）に相当するものは１→２→３→４

　　第ｎ−１項：正軸体では２^n-1-fp，正単体では（ｎ−ｆｐ，１）に相当するものは１→２→５→２０と変化する．

［３］Ｆ4

　　第０項：（ｔｐ＋１，１）に相当するものは１→２→３→６

　　第ｎ−１項：正軸体では２^n-1-fp，正単体では（ｎ−ｆｐ，１）に相当するものは１→２→３→６と変化する．｛３，４，３｝（１，０，０，１）の０には３，３ではなく４，４を対応させる．

であるから，これがｆ1公式の修正の参考になるかもしれない．

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