これまで，

　　ｆ（ｎ，０）＝２^n-1

　　ｆ（ｎ，１）＝２^n-2（ｎ−１）ｎ／２

　　ｆ（ｎ，２）＝２^n-2ｎ（ｎ−１）（ｎ−２）／３

　　ｆ（ｎ，３）＝２^n-4ｎ（ｎ−１）（ｎ−２）^2／３

　　ｆ（ｎ，ｎ−１）＝２^n-1＋２ｎ

が得られている．ｋ＞３に進む前に検証してみたい．

　３次元：（４，６，４）　　　（正四面体）

　４次元：（８，２４，３２，１６）　　　（正１６胞体）

　５次元：（１６，８０，１６０，１２０，２６）

　６次元：（３２，２４０，６４０，６４０，２５２，４４）

　７次元：（６４，６７２，２２４０，２８００，１６２４，５３２，７８）

である．

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

　　ｆ（ｎ，０）＝２^n-1　→　ＯＫ

　　ｆ（ｎ，１）＝２^n-2（ｎ−１）ｎ／２　→　ＯＫ

　　ｆ（ｎ，２）＝２^n-2ｎ（ｎ−１）（ｎ−２）／３　→　ＯＫ

　　ｆ（ｎ，３）＝２^n-4ｎ（ｎ−１）（ｎ−２）^2／３　→　ＯＫ

　　ｆ（ｎ，ｎ−１）＝２^n-1＋２ｎ　→　ｎ＞３のとき，ＯＫ

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