ｎ＝６の｛３，３，３，３，４｝（０，０，１，０，０，０）について，もう少し調べてみよう．

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

［１］切頂５次元面は｛３，３，３，４｝（０，１，０，０，０）３個

　これは｛３，３，３，４｝をＰ1で切頂したものであるから，頂点に集まる４次元面は

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

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

［２］ファセット５次元面は｛３，３，３，３｝（０，０，１，０，０）８個

　これは｛３，３，３，３｝をＰ2で切頂したものであるから，頂点に集まる４次元面は

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

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

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

　　ｆ4＝（６／８＋２４／１０＋４８／１０）・ｆ0

　　ｆ0＝１６０→ｆ4＝１２０＋３８４＋７６８≠６３６

　しかし，これには整数解がないことは（その５３）ですでに検討済み．

　２で割って

　　ｆ4＝（３／８＋１２／１０＋２４／１０）・ｆ0

ならば

　　ｆ0＝１６０→ｆ4＝６０＋１９２＋３８４＝６３６→ＯＫ

となるのであるが・・・

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