自力で証明はできなかったが，阪本ひろむ氏に

　　Σn+1Ｃk+1（ｎ−ｋ）^(n-k-1）（ｋ＋１）^k，ｋ＝０〜ｎ−１

＝２ｎ（ｎ＋１）^n-1

が成り立つことを確認してもらった．

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

　　Σn+1Ｃk+1Ｖn-k-1ＶkＨk＝２ｎ（ｎ＋１）^n-1（ｎ＋１）^1/2／２^(n+2)/2

　　Σn+1Ｃk+1Ｖn-k-1ＶkＨk＝ｎ（ｎ＋１）^n-1（ｎ＋１）^1/2／２^n/2

　したがって，

　　ｖｏｌ（Ｐ）＝（ｎ＋１）^n-1/2／２^n/2

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