（その７７）〜（その８０）の計算は主要項のみを計算していたが，補正項の計算が必要であった．

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

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

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

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

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

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

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

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

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

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

［まとめ］Kaleidoscope,p295を形式的に計算．ｔ1β4の場合もまったく形式的に計算したが，実質的にも合致した．これで三ツ矢サイダー（Ｄ4）を制覇．

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