Kaleidoscope,p295を形式的に計算．２重点ではない節点から始めると，ｔ1β4の場合は・・・

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

［１］０次元面→コクセター図形にα3（０１０）＝（６，１２，８）ができる

６・８−１・２４＝２４　　（ＯＫ）

［２］１次元面→コクセター図形は｛｝＝（１，０）ができる

１２・８−０・２４＝９６　　（ＯＫ）

［３］２次元面→コクセター図形は｛｝＝｛１，０）

８・８−０・２４＋１・３２＝９６　　（ＯＫ）

［４］３次元面→コクセター図形は｛｝＝｛１，０）

１・８−０・２４＋０・３２＋１・１６＝４０　　（ＯＫ）

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

　（その７７）〜（その８０）でうまくいかなかったｔ1β4は（その８２）で補正項の計算を加えることによって，何れの場合も，基本公式（主要項，補正項）がそのまま適用できることが確かめられている．

　（その８８）でうまくいかなかったβ4もうまくいっている．

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