>>44では、C(n,k)が　k<0　あるいは、k>n　で0になることを利用している。

>>納s=0,n]納j=0,s]f(s,j)=納j=0,n]納s=0,n]f(s,j)
一般のfに対し、これは正しくないが、C(n,s-j)がかかった形である
納s=0,n]納j=0,s]f(s,j)C(n,s-j)
=納s=0,n]納j=0,n]f(s,j)C(n,s-j)
=納j=0,n]納s=0,n]f(s,j)C(n,s-j)
なら、ok。