帰納法による証明，C(n,k) x^k y^(n-k),k=0..nの総和=(x+y)^n，n>=1のとき