ｋ面数公式を

　　ｎ次元正軸体：ｇk＝（ｎ，ｋ＋１）２^(k+1)

　　ｎ次元正単体：ｈk＝（ｎ＋１，ｋ＋１）

とおく．ｋ＝［０，ｎ−１］

　　ｇk／ｈk＝２^(k+1)（ｎ−ｋ）／（ｎ＋１）＝２^(k+1)｛１−（ｋ＋１）／（ｎ＋１）｝

　ｋ＝０のとき，常にｇ0＞ｈ0であるが，任意のｋについてもｇk＞ｈkが成り立つ．

　２系統のワイソフ構成が同じであれば，Ｇs＝Ｇo（ｍs≦ｍo）であるから，頂点数が一致するためには，２系統のワイソフ構成が異なっていてＧs＞Ｇo，とくに，ｓ＞ｏであることが望ましい．このとき，ｍs＝ｍoになるだろうか？・・・という問題に帰着される．

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

　ｓ＝ｏ＋ｄ，ｄ≦ｎ−ｏ−１，ｏの最後の連の長さをｒ（≦ｏ＋１）とおくと，

　　ｍs＝ｍo−ｒ（ｎ−ｏ−１）−ｒ＋ｄ（ｎ−ｏ−１−ｄ）＋ｄ

　　−ｒ（ｎ−ｏ−１）−ｒ＋ｄ（ｎ−ｏ−１−ｄ）＋ｄ

　＝（ｄ−ｒ）（ｎ−ｏ−１）−ｄ^2＜０

となって，ｍs≠ｍo

　要するにｏより後ろに１があると次数は大きくなるというのが，証明のラフプロットである．残る可能性はｏより前の１が少なくなることによって，その効果が相殺される場合があるかもしれないということである．

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