｛３３３３３｝（１００００１）にせよ，｛３３３３３｝（００１１００）にせよ切頂している間は，新たに生ずる面はないので記載しなかったが，それも含めて書けば

［１］｛３３３３３｝（００１１００）

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

　｛３３３｝（１１００）×｛｝（０）→（１４６４１０），３

　｛３３｝（１００）×｛３｝（００）→（１３３１００），１

　｛３｝（００）×｛３３｝（００１）→（１０００００）１

　｛｝（０）×｛３３３｝（００１１）→（１０００００），３

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

３，−３，１

１５，−１２，３

３０，−１８，３

３０，−１２，１，１

１５，−３，０，０，３

３，０，０，０，０，３

１列目：三角形面１２，六角形面１８

２列目：三角形面−９，六角形面−９

３列目：三角形面３

　　ｆ2＝（６／３＋９／６）・ｆ0＝４９０　　（ＯＫ）

［０］｛３３３３｝（０１１００）の頂点に集まる２次元面情報

　　　｛３３３｝（１１００）の頂点に集まる２次元面情報

　　　｛３３｝（１００）の頂点に集まる２次元面情報

に対して包除原理を適用する．

１列目：四面体３，｛３３｝（１１０）２７

２列目：四面体−３，｛３３｝（１１０）−９

３列目：四面体１

４列目：四面体１

　　ｆ3＝（２／４＋１８／１２）・ｆ0＝２８０　　（ＯＫ）

ここでは，

［０］｛３３３３｝（０１１００）の頂点に集まる３次元面情報

　　　｛３３３｝（１１００）の頂点に集まる３次元面情報

　　　｛３３｝（１００）の頂点に集まる３次元面情報

に対して包除原理を適用する．

［１］｛３｝（００）の∂∂すなわち点×｛３｝（００１）で新たに生じるのは四面体である．

１列目：｛３３３｝（１１００）６，｛３３３｝（０１１０）９

２列目：｛３３３｝（１１００）−３

５列目：（３３３｝（００１１）３

　　ｆ3＝（６／２０＋９／３０）・ｆ0＝８４　　（ＯＫ）

［０］｛３３３３｝（０１１００）の頂点に集まる４次元面情報

　　　｛３３３｝（１１００）の頂点に集まる４次元面情報

　　　｛３３｝（１００）の頂点に集まる４次元面情報

に対して包除原理を適用する．

［１］｛３｝（０）の∂すなわち点×｛３｝（００１１）で新たに生じるのは｛３｝（００１１）である．

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