二項係数 nCr を C[n,r] で表すとき、
Σ[k=0 to 2n] C[2(n-k),n-k]*C[2k,k] = 4^n を証明せよ。