（その８３７）において

　　｛３，３｝（１１１）頂点数２４

　　｛３，４｝（１１０）頂点数２４

が現れたが，両者は本質的に等しいものである．

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

［１］｛３，４｝（１１０）のファセット

　　｛４｝（１０）

　　｛３｝（１１）

［２］｛３，３｝（１１１）のファセット

　　｛３｝（１１）

　　｛３｝（１１）

とするのではなく，

［１］｛３，４｝（１１０）のファセット

　　｛４｝（１０）

　　｛｝（０）×｛｝（１）→退化

　　｛３｝（１１）

［２］｛３，３｝（１１１）のファセット

　　｛３｝（１１）

　　｛｝（１）×｛｝（１）→正方形

　　｛３｝（１１）

としないと合致しないことになる．

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

［まとめ］このことはＡＢＣ群にもＸＤＥ群にもいえることなので注意．たとえば，（その８３８）において

　Wythoff's constructon for uniform polytopes, p49の局所幾何は

ｈγ5（頂点数１６），α5（頂点数６）のほかに，ｈ4γ5（頂点数８０）．さらに，α4×α1（頂点数１０）が加わる．

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