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

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

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

ｘ・２７＝４３２

ｘ＝１６（ｈγ5の頂点数）

ｘ＝６（α5の頂点数）

　したがって，２21の頂点は決まっていて，１22とは異なる．

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