もうひとつの２重点（１22）からはじめても同じ結果が得られるだろうか？　（その１２５）のやり直し．

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

１22：（７２，７２０，２１６０，２１６０，７０２，５４）

　頂点図形はα5で（６，１５，２０，１５，６）

０次元面→コクセター図形にα5ができる

１次元面→コクセター図形にα2ができる

２次元面→コクセター図形にα1ができる

３次元面→コクセター図形にα0ができる

［１］０次元面→コクセター図形にα5ができる

ｘ・７２＝４３２　　（ＯＫ）

ｘ＝６（α5の頂点数）

［２］１次元面→コクセター図形にα2ができる

ｘ・７２＋ｙ・７２０＝１０８０＋２１６０　　（ＯＫ）

ｘ＝１５（α5の辺数）

ｙ＝３（α2の頂点数）

［３］２次元面→コクセター図形にα1ができる

ｘ・７２＋ｙ・７２０＋ｚ・２１６０＝１４４０＋２１６０＋４３２０　　（ＯＫ）

ｘ＝２０（α5の面数）

ｙ＝３（α2の辺数）

ｚ＝２（α1の頂点数）

［４］３次元面→コクセター図形にα0ができる

ｘ・７２＋ｙ・７２０＋ｚ・２１６０＋ｗ・２１６０＝１０８０＋７２０＋２１６０＋２１６０　　（ＯＫ）

ｘ＝１５（α5の３次元面数）

ｙ＝１（α2の面数）

ｚ＝１（α1の辺数）

ｗ＝１（α0の頂点数）

［５］４次元面→コクセター図形にα0ができる

ｘ・７２＋ｙ・７２０＋ｚ・２１６０＋ｗ・２１６０＋ｖ・７０２＝４３２＋７０２　　（ＮＧ）２４３０

ｘ＝６（α5の４次元面数）

ｙ＝０（α2の３次元面数）

ｚ＝０（α1の２次元面数）

ｗ＝０（α0の１次元面数）

ｖ＝１（α0の０次元面数）

［６］５次元面→コクセター図形にα0ができる

ｘ・７２＋ｙ・７２０＋ｚ・２１６０＋ｗ・２１６０＋ｖ・７０２＋ｕ・５４＝７２＋５４　　（ＮＧ）３４２

ｘ＝１（α5の５次元面数）

ｙ＝０（α2の４次元面数）

ｚ＝０（α1の３次元面数）

ｗ＝０（α0の２次元面数）

ｖ＝０（α0の１次元面数）

ｕ＝１（α0の０次元面数）

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

［まとめ］３leg中２legはうまくいったが，２11を前提としているからだめなのだろうか？　すなわち，２21の頂点は決まっていて，１22と考えてはいけないのだと思う．

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