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

　　　　　　　　　　　　φ

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

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

　　　　　　　　　　　　・ζr-1

　　　　　　　　　　　　｜

　　　　　　　　　　　　・

　　　　　　　　　　　　・

　　　　　　　　　　　　｜

　　　　　　　　　　　　・ζ1

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

　　ｐ≧ｑ≧ｒ≧２

とすれば，

　　ｒ＝２

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

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

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

［１］１／ｐ＋１／ｑ＋１／ｒ＞１

と

［２］ｐｑｒ＜ｐ＋ｑ＋ｒ＋２　　（次元数はｎ＝ｐ＋ｑ＋ｒ＋１）

は異なるが，ｐ≧ｑ≧ｒ≧２とすれば，

　　ｒ＝２→２ｐｑ＜ｐ＋ｑ＋２

　　ｑ＝２→４ｐ＜ｐ＋４

　　ｑ＝３→６ｐ＜ｐ＋４

となってしまう．

　そうではなくて，［２］の条件はｐ≧ｑ≧ｒ≧１なのであって，

［１］ｒ＝１，ｑ＝１→ｐ＜ｐ＋４→ｐは任意→Ｄk（ｋ≧４）

［２］ｒ＝１，ｑ＝２→２ｐ＜ｐ＋５→ｐ＝２，３，４→Ｅ6，Ｅ7，Ｅ8

　したがって，どのルート系も，

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

　　　　　　｜　　　　　　　　　　　　　｜

　　　　　　・　　　　　　　　　　　　　・

　　　　　　｜

　　　　　　・

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

　　　　　　　　　　　　｜

　　　　　　　　　　　　・

を含むことはできないのである．

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