（その３０）の分類定理の続き．

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

［１］＝を含むのは，Ｂk（ｋ≧２），Ｆ4だけである．

　　・−・−・・・−・＝・−・・・−・−・

　　ε1 ε2 　　　　εp ηq 　　　　η2 η1

　　ε＝Σｉεi，η＝Σｉηi

　　｜ε｜^2＝Σｉ^2−Σｉ（ｉ＋１）＝ｐ（ｐ＋１）／２

　　｜η｜^2＝Σｉ^2−Σｉ（ｉ＋１）＝ｑ（ｑ＋１）／２

　　＜ε，η＞＝−ｐｑ／√２

　　＜ε，η＞^2≦｜ε｜^2｜η｜^2

より，

　　（ｐ−１）（ｑ−１）＜２

　　ｐ＝１またはｑ＝１→Ｂk（ｋ≧２）　

　　ｐ＝ｑ＝２→Ｆ4

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

［２］分岐点を含み，−のみからなるのは，Ｄk（ｋ≧４），Ｅ6，Ｅ7，Ｅ8だけである．

　　　　　　　　　　　　φ

　　・−・−・・・−・−・−・−・・・−・−・

　　ε1 ε2 　　　εp-1 ｜ ηq-1 　　　η2 η1

　　　　　　　　　　　　・ζr-1

　　　　　　　　　　　　｜

　　　　　　　　　　　　・

　　　　　　　　　　　　・

　　　　　　　　　　　　｜

　　　　　　　　　　　　・ζ1

　　｜ε｜^2＝Σｉ^2−Σｉ（ｉ＋１）＝ｐ（ｐ−１）／２

　　｜η｜^2＝Σｉ^2−Σｉ（ｉ＋１）＝ｑ（ｑ−１）／２

　　｜ζ｜^2＝Σｉ^2−Σｉ（ｉ＋１）＝ｒ（ｒ−１）／２

　　＜ε，φ＞＝−（ｐ−１）／２

　　ｃ1^2＝＜ε，φ＞^2／｜ε｜^2＝１／２・（１−１／ｐ）

　　ｃ1^2＋ｃ2^2＋ｃ3^2＜１

より

　　１／ｐ＋１／ｑ＋１／ｒ＞１

　　ｐ≧ｑ≧ｒ≧２

とすれば，

　　ｒ＝２

　　ｑ＝２，ｐは無条件→Ｄk（ｋ≧４）

　　ｑ＝３，ｐ＝３，４，５→Ｅ6，Ｅ7，Ｅ8

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