［１］切頂型：２ｎ－３種類（正多面体を除く）

［２］切頂切稜型：２^n－３種類（正多面体を除く）から切頂型を除く＝２^n－２ｎ

の［１］を細分類してみると，

　　（ｎ－１）＋（ｎ－２）＝２ｎ－３

［２］を細分類してみると，・・・

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

［１］２切頂切稜型：（２）×（ｎ－２）通り

　　１＊１０００・・・（２）

　　０１＊１００・・・（２）

　　００１＊１０・・・（２）

　　０００１＊１・・・（２）

［２］３切頂切稜型：（４）×（ｎ－３）

　　１＊＊１００・・・（４）

　　０１＊＊１０・・・（４）

　　００１＊＊１・・・（４）

　この２つで，切頂型：２ｎ－３種類から両端を除いたものは満席となる．

　　（ｎ－２）＋（ｎ－３）＝２ｎ－５

－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－

［３］４切頂切稜型：（２^n-3）×２

　　１＊＊＊１０・・・（８）

　　０１＊＊＊１・・・（８）

［４］ｎ－１切頂切稜型：（２^n-2）×１

　　１＊＊＊＊１・・・（１６）

　ここで，ｋ＝１～ｎ－２として，［１］～［４］までの総和を調べてみると

　　Σ２^k（ｎ－ｋ－１）＝２^n－２ｎ

となる．

　　２^n－２ｎ＋（２ｎ－３）＋２＝２^n－１　　（合致）

－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－

　また，［１］－［４］のそれぞれも左右対称木構造に並べることができそうである．残った問題は，この手順をワイソフ算術のなかでアルゴリズム化できるかどうかである．

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