WolframAlpha computational knowledge AI
prove by induction sum C(n,k) x^k y^(n-k),k=0..n=(x+y)^n for n>=1