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