ファセット数公式の正当性が実証されたが，辺数・頂点数公式については

　　　　　　　　　［０，１，０，０］

　（１，０，０）→［１，０，１，０］

　　　　　　　　　［２，０，０，１］

も加えてみても見当がつかない．やむなく４次元正１６胞体に移ることにした．

　　ｆ0＝８，ｆ1＝２４，ｆ2＝３２，ｆ3＝１６

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

［１］（０，１，０，０）→ｆ＝（２４，９６，９６，２４）

　　［０，０，１，０，０］，［０，１，０，０，１］，［０，３，０，０，０］

　　［１，０，０，３，０］，［１，１，１，２，０］，［１，０，０，２，２］，［１，２，０，２，１］，［１，４，０，２，０］，［１，５，１，１，０］，［１，４，０，１，２］，［１，６，０，１，１］，［１，８，０，１，０］，［１，０，４，０，０］，［１，１，３，０，１］，［１，３，３，０，０］，［１，０，２，０，２］，［１，２，２，０，２］，［１，４，２，０，１］，［１，６，２，０，０］，［１，５，１，０，２］，［１，７，１，０，１］，［１，９，１，０，０］，［１，８，０，０，２］，［１，１０，０，０，１］，［１，１２，０，０，０］

［２］（０，０，１，０）→ｆ＝（３２，９６，８８，２４）

　　［０，０，０，１，０］，［０，１，１，０，０］，［０，０，０，０，２］，［０，２，０，０，１］，［０，４，０，０，０］

　　［２，０，１，２，０］，［２，１，０，２，１］，［２，３，０，２，０］，［２，１，２，１，０］，［２，０，１，１，２］，［２，２，１，１，１］，［２，４，１，１，０］，

［２，１，０，１，３］，［２，３，０，１，２］，［２，５，０，１，１］，［２，７，０，１，０］，［２，０，３，０，１］，［２，２，３，０，０１，［２，１，２，０，１］，［２，３，２，０，０］，［２，０，１，０，４１，［２，２，１，０，３１，［２，４，１，０，２］，［２，６，１，０，１］，［２，８，１，０，０］，［２，１，０，０，５］，［２，３，０，０，４］，［２，５，１，０，３］，［２，７，０，０，２］，［２，９，０，０，１］，［２，１１，０，０，０］

［３］（０，０，０，１）→ｆ＝（１６，３２，２４，８）

　　［０，０，０，０，１］

　　［１，０，０，１，０］

　　［２，０，１，０，０］

　　［３，１，０，０，０］

［４］（１，１，０，０）→ｆ＝（４８，１２０，９６，２４）

　　［０，０，０，１，１］，［０，２，０，１，０］，［０，１，１，０，１］，［０，３，１，０，０］，［０，０，０，０，３］，［０，２，０，０，２］，［０，４，０，０，１］，［０，６，０，０，０］

　　［１，０，１，３，０］，［１，１，０，３，１］，［１，３，０，３，０］，［１，１，２，２，０］，［１，２，１，２，１］，［１，４，１，２，０］，［１，１，０，２，３］，［１，３，０，２，２］，［１，５，０，２，１］，［１，７，０，２，０］，［１，０，３，１，１］，［１，２，３，１，０］，［１，１，２，１，２］，［１，３，２，１，１］，［１，５，２，１，０］，［１，０，１，１，４］，［１，２，１，１，３］，［１，４，１，１，２］，［１，６，１，１，１］，［１，８，１，１，０］，［１，７，０，１，２］，［１，９，０，１，１］，［１，１１，０，１，０］，［１，０，５，０，０］，［１，１，４，０，１］，［１，３，４，０，０］，［１，０，３，０，３］，［１，２，３，０，２］，［１，４，３，０，１］，［１，６，３，０，０］，［１，１，２，０，４］，［１，３，２，０，３］，［１，５，２，０，２］，［１，７，２，０，１］，［１，９，２，０，０］，［１，０，１，０，６］，［１，２，１，０，５］，［１，４，１，０，４］，［１，６，１，０，３］，［１，８，１，０，２］，［１，１０，１，０，１］，［１，１２，１，０，０］，［１，１１，０，０，２］，［１，１３，０，０，１］，［１，１５，０，０，０］

［５］（１，０，１，０）→ｆ＝（９６，２８８，２４０，４８）

　　［１，０，０，９，０］，［１，１，１，８，０］，［１，０，０，８，２］，［１，２，０，８，１］，［１，４，０，８，０］，［１，０，２，７，１］，［１，２，２，７，０］，［１，１，１，７，２］，［１，３，１，７，１］，［１，５，１，７，０］，［１，０，０，７，４］，［１，２，０，７，３］，［１，４，０，７，２］，［１，６，０，７，１］，［１，８，０，７，０］，［１，０，４，６，０］，［１，１，３，６，１］，［１，３，３，６，０］，［１，０，２，６，３］，［１，２，２，６，２］，［１，４，２，６，１］，［１，６，２，６，０］，［１，１，１，６，４］，［１，３，１，６，３］，［１，５，１，６，２］，［１，７，１，６，１］，［１，９，１，６，０］，［１，０，０，６，６］，［１，２，０，６，５］，［１，４，０，６，４］，［１，６，０，６，３］，［１，８，０，６，２］，［１，１０，０，６，１］，［１，１２，０，６，０］，［１，１，５，５，０］，［１，２，４，５，１］，［１，４，４，５，０］，［１，３，３，５，２］，［１，５，３，５，１］，［１，７，３，５，０］，［１，０，２，５，５］，［１，２，２，５，４］，［１，４，２，５，３］，［１，６，２，５，２］，［１，８，２，５，１］，［１，１０，２，５，０］，［１，１，１，５，６］，［１，３，１，５，５］，［１，５，１，５，４］，［１，７，１，５，３］，［１，９，１，５，２］，［１，１１，１，５，１］，［１，１３，１，５，０］，［１，０，０，５，８］，［１，２，０，５，７］，［１，４，０，５，６］，［１，６，０，５，５］，［１，８，０，５，４］，［１，１０，０，５，３］，［１，１２，０，５，２］，［１，１４，０，５，１］，［１，１６，０，５，０］，［１，２，０，５，７］，［１，４，０，５，６］，［１，６，０，５，５］，［１，８，０，５，４］，［１，１０，０，５，３］，［１，１２，０，５，２］，［１，１４，０，５，１］，［１，１６，０，５，０］，［１，０，６，４，１］，［１，２，６，４，０］，［１，３，５，４，１］，［１，５，５，４，０］，［１，０，４，４，４］，［１，２，４，４，３］，［１，４，４，４，２］，［１，６，４，４，１］，［１，８，４，４，０］，［１，１，３，４，５］，［１，３，３，４，４］，［１，５，３，４，３］，［１，７，３，４，２］，［１，９，３，４，１］，［１，１１，３，４，０］，［１，０，２，４，７］，［１，２，２，４，６］，［１，４，２，４，５］，［１，６，２，４，４］，［１，８，２，４，３］，［１，１０，２，４，２］，［１，１２，２，４，１］，［１，１４，２，４，０］，［１，１，１，４，８］，［１，３，１，４，７］，［１，５，１，４，６］，［１，７，１，４，５］，［１，９，１，４，４］，［１，１１，１，４，３］，［１，１３，１，４，２］，［１，１５，１，４，１］，［１，１７，１，４，０］，［１，０，０，４，１０］，［１，２，０，４，９］，［１，４，０，４，８］，［１，６，０，４，７］，［１，８，０，４，６］，［１，１０，０，４，５］，［１，１２，０，４，４］，［１，１４，０，４，３］，［１，１６，０，４，２］，［１，１８，０，４，１］，［１，２０，０，４，０］，［１，０，８，３，０］，［１，１，７，３，１］，［１，３，７，３，０］，［１，０，８，３，０］，［１，１，７，３，１］，［１，３，７，３，０］，［１，０，６，３，３］，［１，２，６，３，２］，［１，４，６，３，１］，［１，６，６，３，０］，［１，１，５，３，４］，［１，３，５，３，３］，［１，５，５，３，２］，［１，７，５，３，１］，［１，９，５，３，０］，［１，０，４，３，６］，［１，２，４，３，５］，［１，４，４，３，４］，［１，６，４，３，３］，［１，８，４，３，２］，［１，１０，４，３，１］，［１，１２，４，３，０］，［１，１，３，３，７］，［１，３，３，３，６］，［１，５，３，３，５］，［１，７，３，３，４］，［１，９，３，３，３］，［１，１１，３，３，２］，［１，１３，３，３，１］，［１，１５，３，３，０］，［１，０，２，３，９］，［１，１，２，３，８］，［１，３，２，３，７］，［１，５，２，３，６］，［１，７，２，３，５］，［１，９，２，３，４］，［１，１１，２，３，３］，［１，１３，２，３，２］，［１，１５，２，３，１］，［１，１７，２，３，０］，［１，１，１，３，１０］，［１，３，１，３，９］，［１，５，１，３，８］，［１，７，１，３，７］，［１，９，１，３，６］，［１，１１，１，３，５］，［１，１３，１，３，４］，［１，１５，１，３，３］，［１，１７，１，３，２］，［１，１９，１，３，１］［１，２１，１，３，０］，［１，０，０，３，１２］，［１，２，０，３，１１］，［１，４，０，３，１０］，［１，６，０，３，９］，［１，８，０，３，８］，［１，１０，０，３，７］，［１，１２，０，３，６］，［１，１４，０，３，５］，［１，１６，０，３，４］，［１，１８，０，３，３］，［１，２０，０，３，２］，［１，２２，０，３，１］，［１，２４，０，３，０］，［１，１，９，２，０］，［１，２，８，２，１］，［１，４，８，２，０］，［１，５，７，２，１］，［１，７，７，２，０］，［１，８，６，２，１］，［１，１０，６，２，０］，［１，１１，５，２，１］，［１，１３，５，２，０］，［１，１４，４，２，１］，［１，１６，４，２，０］，［１，１７，３，２，１］，［１，１９，３，２，０］，［１，２０，２，２，１］，［１，２２，２，２，０］，［１，２３，１，２，１］，［１，２５，１，２，０］，［１，２６，０，２，１］，［１，２８，０，２，０］，［１，０，１０，１，１］，［１，２，１０，１，０］，［１，３，９，１，１］，［１，５，９，１，０］，，［１，６，８，１，１］，［１，８，８，１，０］，［１，９，７，１，１］，［１，１１，７，１，０］，［１，１２，６，１，１］，［１，１４，６，１，０］，［１，１５，５，１，１］，［１，１７，５，１，０］，［１，１８，４，１，１］，［１，２０，４，１，０］，［１，２１，３，１，１］，［１，２３，３，１，０］，［１，２４，２，１，１］，［１，２６，２，１，０］，［１，２７，１，１，１］，［１，２９，１，１，０］，［１，３０，０，１，１］，［１，３２，０，１，０］，［１，０，１２，０，０］，［１，１，１１，０，１］，［１，３，１１，０，０］，［１，４，１０，０，１］，［１，６，１０，０，０］，［１，７，９，０，１］，，［１，９，９，０，０］，［１，１０，８，０，１］，［１，１２，８，０，０］，［１，１３，７，０，１］，［１，１５，７，０，０］，［１，１６，６，０，１］，［１，１８，６，０，０］，［１，１９，５，０，１］，［１，２１，５，０，０］，［１，２２，４，０，１］，［１，２４，４，０，０］，［１，２５，３，０，１］，［１，２７，３，０，０］，［１，２８，２，０，１］，［１，３０，２，０，０］，［１，３１，１，０，１］，［１，３３，１，０，０］，［１，３４，０，０，１］，［１，３６，０，０，０］

　　［２，０，０，７，１］，［２，２，０，７，０］，［２，０，２，６，０］，［２，１，１，６，１］，［２，３，１，６，０］，［２，０，０，６，３］，［２，２，０，６，２］，［２，４，０，６，１］，［２，６，０，６，０］，［２，１，３，５，０］，［２，２，２，５，１］，［２，４，２，５，０］，［２，１，１，５，３］，［２，３，１，５，２］，［２，５，１，５，１］，［２，７，１，５，０］，［２，０，０，５，５］，［２，２，０，５，４］，［２，４，０，５，３］，［２，６，０，５，２］，［２，８，０，５，１］，［２，１０，０，５，０］，［２，０，４，４，１］，［２，２，４，４，０］，［２，３，３，４，１］，［２，５，３，４，０］，［２，６，２，４，１］，［２，８，２，４，０］，［２，９，１，４，１］，［２，１１，１，４，０］，［２，１２，０，４，１］，［２，１４，０，４，０］，［２，０，６，３，０］，［２，１，５，３，１］，［２，３，５，３，０］，［２，４，４，３，１］，［２，６，４，３，０］，［２，７，３，３，１］，［２，９，３，３，０］，［２，１０，２，３，１］，［２，１２，２，３，０］，［２，１３，１，３，１］，［２，１５，１，３，０］，［２，０，０，３，９］，［２，２，０，３，８］，［２，４，０，３，７］，［２，６，０，３，６］，［２，８，０，３，５］，［２，１０，０，３，４］，［２，１２，０，３，３］，［２，１４，０，３，２］，［２，１６，０，３，１］，［２，１８，０，３，０］，［２，１，７，２，０］，［２，２，６，２，１］，［２，４，６，２，０］，［２，１，５，２，３］，［２，３，５，２，２］，［２，５，５，２，１］，［２，７，５，２，０］，［２，０，４，２，５］，［２，２，４，２，４］，［２，４，４，２，３］，［２，６，４，２，２］，［２，８，４，２，１］，［２，１０，４，２，０］，［２，１，３，２，６］，［２，３，３，２，５］，［２，５，３，２，４］，［２，７，３，２，３］，［２，９，３，２，２］，［２，１１，３，２，１］，［２，１３，３，２，０］，［２，０，２，２，８］，［２，２，２，２，７］，［２，４，２，２，６］，［２，６，２，２，５］，［２，８，２，２，４］，［２，１０，２，２，３］，［２，１２，２，２，２］，［２，１４，２，２，１］，［２，１６，２，２，０］，［２，１，１，２，９］，［２，３，１，２，８］，［２，５，１，２，７］，［２，７，１，２，６］，［２，９，１，２，５］，［２，１１，１，２，４］，［２，１３，１，２，３］，［２，１５，１，２，２］，［２，１７，１，２，１］，［２，１９，１，２，０］，［２，０，０，２，１１］，［２，２，０，２，１０］，［２，４，０，２，９］，［２，６，０，２，８］，［２，８，０，２，７］，［２，１０，０，２，６］，［２，１２，０，２，５］，［２，１４，０，２，４］，［２，１６，０，２，３］，［２，１８，０，２，２］，［２，２０，０，２，１］，［２，２２，０，２，０］，［２，０，８，１，１］，［２，２，８，１，０］，［２，３，７，１，１］，［２，５，７，１，０］，［２，６，６，１，１］，［２，８，６，１，０］，［２，９，５，１，１］，［２，１１，５，１，０］，［２，１２，４，１，１］，［２，１４，４，１，０］，［２，１５，３，１，１］，［２，１７，３，１，０］，［２，１８，２，１，１］，［２，２０，２，１，０］，［２，２１，１，１，１］，［２，２３，１，１，０］，［２，２４，０，１，１］，［２，２６，０，１，０］，［２，０，１０，０，０］，［２，１，９，０，１］，［２，２，９，０，０］，［２，３，８，０，１］，［２，５，８，０，０］，［２，６，７，０，１］，［２，８，７，０，０］，［２，９，６，０，１］，［２，１１，６，０，０］，［２，１２，５，０，１］，［２，１４，５，０，０］，［２，１５，４，０，１］，［２，１７，４，０，０］，［２，１８，３，０，１］，［２，２０，３，０，０］，［２，２１，２，０，１］，［２，２３，２，０，０］，［２，２４，１，０，１］，［２，２６，１，０，０］，［２，０，０，０，１５］，［２，２，０，０，１４］，［２，４，０，０，１３］，［２，６，０，０，１２］，［２，８，０，０，１１］，［２，１０，０，０，１０］，［２，１２，０，０，９］，［２，１４，０，０，８］，［２，１６，０，０，７］，［２，１８，０，０，６］，［２，２０，０，０，５］，［２，２２，０，０，４］，［２，２４，０，０，３］，［２，２６，０，０，２］，［２，２８，０，０，１］，［２，３０，０，０，０］

　長くなったので，ここで中断．

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