ｔ1β4の場合を形式的に計算する．主要項のみでなく，補正項の計算が必要になるが，そうすれば実質的にも合致する．

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

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

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

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

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

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

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

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

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

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