解はあるが，解を一意に決めるために，おさらいをしておきたい．

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

［１］２21

　Ｎ0＝ｘ／２^4・５！＝２７，ｘ＝７２・６！

　Ｎ1＝ｘ／２・５！＝２１６

　Ｎ2＝ｘ／６・２・６＝７２０（α2）

　Ｎ3＝ｘ／２４・２＝１０８０（α3）

　Ｎ4＝ｘ／５！・２＋ｘ／５！＝２１６（α4）＋４３２（α4）

　Ｎ5＝ｘ／６！＋ｘ／２^4・５！＝７２（α5）＋２７（β5）

　Ｎ0＋Ｎ2＋Ｎ4＝Ｎ1＋Ｎ3＋Ｎ5＝１３９５

　２21の　頂点図形は１21＝ｈγ5

（１６，８０，１６０，１２０，１６＋１０）

２21の各頂点に連結する辺は１６本

したがって，２21の辺数は２７・（１６／２）＝２１６　（ＯＫ）

２21の各頂点に連結する面は８０

したがって，２21の面数は２７・（８０／３）＝７２０　（ＯＫ）

２21の各頂点に連結する３次元面は１６０

したがって，２21の面数は２７・（１６０／４）＝１０８０　（ＯＫ）

２21の各頂点に連結する４次元面は１２０

したがって，２21の面数は２７・（１２０／５）＝６４８　　（ＯＫ）

２21の各頂点に連結する２21の５次元面は１０個の１21＝ｈγ5と１６個の２20＝α5

２７・（１０／１０＋１６／６）＝２７＋７２＝９９　　（ＯＫ）

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

［２］１22

　１22は７２頂点

　ファセット１12＝ｈγ5は｜Ｅ6｜／｜Ｄ5｜＝７２・６！／２^4・５！＝２７

　ファセット１21＝ｈγ5は｜Ｅ6｜／｜Ｄ5｜＝２７

　頂点図形は０22＝ｔ2α5

（２０，９０，１２０，６０，１２）

（２０，９０，１２０，３０＋３０，６＋６）

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

１０・６−４・１５＋１・２０＝２０

３０・６−６・１５＋０・２０＝９０

３０・６−４・１５＋０・２０＝１２０

１０・６−１・１５＋０・２０＋１・１５＝６０

１・６−０・１５＋０・２０＋０・１５＋１・６＝１２

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

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

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

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

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

４次元面は６頂点にできる｛３，３，３｝（０，１，０，０）と６個の４次元面にできる｛３，３，３｝（０，０，１，０）

３次元面は

｛３，３，３｝（０，１，０，０）から派生する

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

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

｛３，３，３｝（０，０，１，０）から派生する

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

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

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

１22の各頂点に連結する辺は２０本

したがって，１22の辺数は７２・（２０／２）＝７２０

１22の各頂点に連結する面は９０

したがって，１22の面数は７２・（９０／３）＝２１６０

１22の各頂点に連結する３次元面は１２０

したがって，１22の面数は７２・（１２０／４）＝２１６０

１22の各頂点に連結する４次元面は６０

７２・（ｘ／５＋ｙ／８）＝Ｎ

ｘ＋ｙ＝６０，ｘ＝３０，ｙ＝３０

７２・（３０／５＋ｙ／８）＝４３２＋２７０＝７０２

１22の各頂点に連結する１22の５次元面は１２個のｈγ5

７２・（１２／１６）＝５４

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