これまでのこのシリースをまとめておきたい．

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

［１］ワイソフベクトルから，ｆ0，ｆ1，ｆn-1を求めることはすでに可能であったが，ｆ2，ｆ3，・・・，ｆn-2に対するワイソフ算術は未着手で，これらが求められているのは［１１・・・１１］だけであった．

［２］しかし，ムーディー論文を読んだあとは，それ以外のすべての準正多面体でも，一般的な公式が存在するか，または，適切な解の有限集合からすべての解を導くプロセスが存在するはずであることを確信した．

［３］ワイソフベクトルから，ｆ2，ｆ3，・・・，ｆn-2を求めることは難しいが，ｎ−１次元までの情報がわかっている場合は，芋づる式に求められることがわかった．とくに切頂型は上の段がわかれば初等的に構成することができる．

［４］切頂切稜型の面数公式は，畳み込み式として得られる．切頂型の面数公式はｎの一般式として初等的に求められるが，切頂切稜型の特殊例として，同じ公式の形に書くことができると思われた．

［５］共通部分を生ずる場合は，包除公式すなわち重複する分を引いて，引きすぎた分を足し直してということを繰り返す必要があるが，その辺の事情は意味論的に解釈することができる．

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

［４］について，考えてみると，正軸体系切頂型（００１１００）→ｆ＝（９６０，３３６０，４１６０，２３２０，６３６，７６）

　頂点に（０１１００）ができているが，辺と面は消失していて，（１１００）柱を重複して数え上げていることになる．

（０１１００）→ｆ＝（２４０，７２０，７２０，２８０，４２）

（１１００）→ｆ＝（４８，１２０，９６，２４）

（１００）→ｆ＝（６，１２，８）

（００）

（１）

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

ｆ1＝１２・７２０−６０・１２０＋１６０・１２＝３３６０　　（ＯＫ）

ｆ2＝１２・７２０−６０・９６＋１６０・８＝４１６０　　（ＯＫ）

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

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

となって，まったく同じ手順で計算することができる．

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