n+1Ｓk＝nＳk-1＋ｋnＳk

　　nＴk＝ｋ！・nＳk

ですから

　　ｋ！・n+1Ｓk＝n+1Ｔk

　　ｋ！・nＳk-1＝ｋnＴk-1

　　ｋ！・nＳk＝nＴk

　　n+1Ｔk＝ｋnＴk-1＋ｋnＴk

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

　　nＴk＝Σ(0,k)（−１）^k-jkＣjｊ^n

　　nＴk＝ｋn-1Ｔk-1＋ｋn-1Ｔk

とデーン・サマービル関係式

　　ｆk＝Σ(0,k)（−１）^j（ｎ−ｊ，ｎ−ｋ）ｆj

を比較してみよう．

　このままでは比べにくいから，前者のパラメータをｊ→ｋ−ｊに変えてみると

　　nＴk＝Σ(0,k)（−１）^jkＣj（ｋ−ｊ）^n

となる．これより

　　kＣj（ｋ−ｊ）^n＝（ｎ−ｊ，ｎ−ｋ）ｆj

となるかどうかは疑問であるが，ともあれ比較しやすい形にはなったわけである．

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

　以上は多面体的組み合わせ論の結果であるが，幾何学的には

　　ｆk＝Σ(0,k)（ｎ＋１，ｊ＋１）ｆ(k-j)^(n-1ｰj)

の形で求められるから，これも

　　（−１）^jkＣj（ｋ−ｊ）^n＝（ｎ＋１，ｊ＋１）ｆ(k-j)^(n-1ｰj)

　　ｆ(k-j)^(n-1ｰj)＝（−１）^jkＣj（ｋ−ｊ）^n／（ｎ＋１，ｊ＋１）

あるいは

　　（−１）^j（ｎ−ｊ，ｎ−ｋ）ｆj＝（ｎ＋１，ｊ＋１）ｆ(k-j)^(n-1ｰj)

となるかどうかは疑問であるが，ともあれ比較しやすい形にはなったわけである．

　　ｆk＝Σ(0,k)（ｎ＋１，ｊ＋１）ｆ(k-j)^(n-1ｰj)

と比較するならば，

　　nＴk＝ｋ・n-1Ｔk-1＋ｋ・n-1Ｔk

であろう．

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