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

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

　頂点図形はα5で（ｆ0，ｆ1，ｆ2，ｆ3，ｆ4）＝（６，１５，２０，１５，６）

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

［１］０次元面→コクセター図形にｈγ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の０次元面数）

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

［雑感］修正すれば対応できそうだ．

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