Ｈ3，Ｈ4，Ｆ4に対応する頂点回りのファセット数公式ができたので，ｆ0，ｆ1公式についても考えてみたい．まずはｆ0公式から．

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

【１】Ｈ3，Ｈ4

　｛３，５｝のｊ次元面の中にあるｋ次元面の数を＜ｊ，ｋ＞で表すと，

　　＜３，２＞＝４，＜３，１＞＝６，＜３，０＞＝４

　　＜２，１＞＝３，＜２，０＞＝３

　　＜１，０＞＝２

　これらの組み合わせと面数の積を考える．

　　｛３，５｝（１，０，０）＝１２

　　｛３，５｝（０，１，０）＝３０

　　｛３，５｝（０，０，１）＝２０

　　｛３，５｝（１，１，０）＝＜１，０＞３０＝６０

　　｛３，５｝（１，０，１）＝＜２，０＞２０＝６０

　　｛３，５｝（０，１，１）＝＜２，１＞２０＝６０

　　｛３，５｝（１，１，１）＝＜２，１＞＜１，０＞２０＝１２０

　　｛３，３，５｝（１，０，０，０）＝１２０

　　｛３，３，５｝（０，１，０，０）＝７２０

　　｛３，３，５｝（０，０，１，０）＝１２００

　　｛３，３，５｝（０，０，０，１）＝６００

　　｛３，３，５｝（１，１，０，０）＝＜１，０＞７２０＝１４４０

　　｛３，３，５｝（１，０，１，０）＝＜２，０＞１２００＝３６００

　　｛３，３，５｝（１，０，０，１）＝＜３，０＞６００＝２４００

　　｛３，３，５｝（０，１，１，０）＝＜２，１＞１２００＝３６００

　　｛３，３，５｝（０，１，０，１）＝＜３，１＞６００＝３６００

　　｛３，３，５｝（０，０，１，１）＝＜３，２＞６００＝２４００

　　｛３，３，５｝（１，１，１，０）＝＜２，１＞＜１，０＞１２００＝７２００

　　｛３，３，５｝（１，１，０，１）＝＜３，１＞＜１，０＞６００＝７２００

　　｛３，３，５｝（１，０，１，１）＝＜３，２＞＜２，０＞６００＝７２００

　　｛３，３，５｝（０，１，１，１）＝＜３，２＞＜２，１＞６００＝７２００

　　｛３，３，５｝（１，１，１，１）＝＜３，２＞＜２，１＞＜１，０＞６００＝１４４００

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

【２】Ｆ4

　｛３，４｝のｊ次元面の中にあるｋ次元面の数を＜ｊ，ｋ＞で表すと，

　　＜３，２＞＝８，＜３，１＞＝１２，＜３，０＞＝６

　　＜２，１＞＝３，＜２，０＞＝３

　　＜１，０＞＝２

　これらの組み合わせと面数の積を考える．

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

　　｛３，４，３｝（０，１，０，０）＝９６

　　｛３，４，３｝（０，０，１，０）＝９６

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

　　｛３，４，３｝（１，１，０，０）＝＜１，０＞９６＝１９２

　　｛３，４，３｝（１，０，１，０）＝＜２，０＞９６＝２８８

　　｛３，４，３｝（１，０，０，１）＝＜３，０＞２４＝１４４

　　｛３，４，３｝（０，１，１，０）＝＜２，１＞９６＝２８８

　　｛３，４，３｝（０，１，０，１）＝＜３，１＞２４＝２８８

　　｛３，４，３｝（０，０，１，１）＝＜３，２＞２４＝１９２

　　｛３，４，３｝（１，１，１，０）＝＜２，１＞＜１，０＞９６＝５７６

　　｛３，４，３｝（１，１，０，１）＝＜３，１＞＜１，０＞２４＝５７６

　　｛３，４，３｝（１，０，１，１）＝＜３，２＞＜２，０＞２４＝５７６

　　｛３，４，３｝（０，１，１，１）＝＜３，２＞＜２，１＞２４＝５７６

　　｛３，４，３｝（１，１，１，１）＝＜３，２＞＜２，１＞＜１，０＞２４＝１１５２

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