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

• 自然言語
• 数学入力