二項定理：\((a+b)^n\) を二項係数 \(\binom{n}{k}\) と \(a^k b^j\) の和で表す。
word(ss,s) … \(\mathrm{C}\)

1 二項係数

choose𝕄 … \(\begin{cases} n \in \mathbb{M} \Longrightarrow n \mathrm{C} 0 = 1 \\ k \in \mathbb{M} \Longrightarrow 0 \mathrm{C} ( ( k + 1 ) ) = 0 \\ n , k \in \mathbb{M} \Longrightarrow ( ( n + 1 ) ) \mathrm{C} ( ( k + 1 ) ) = n \mathrm{C} k + n \mathrm{C} ( ( k + 1 ) ) \end{cases}\)
choose∈𝕄 … \(n , k \in \mathbb{M} \Longrightarrow n \mathrm{C} k \in \mathbb{M}\) \(\blacktriangleleft\) \(\mathbb{W}.\) ，Peano1 ，Peano2 ，ℕ. ，INDC ，+𝕄 ，⋅𝕄 ，ℙ.' ，\(0 \in \mathbb{M}\) ，choose𝕄
\((k+1)\binom{n+1}{k+1} = (n+1)\binom{n}{k}\)（Labs・\(n\) についての帰納法）。
Labs … \(n , k \in \mathbb{M} \Longrightarrow ( ( k + 1 ) ) \cdot ( ( ( n + 1 ) ) \mathrm{C} ( ( k + 1 ) ) ) = ( ( n + 1 ) ) \cdot ( n \mathrm{C} k )\) \(\blacktriangleleft\) \(\mathbb{W}.\) ，Peano1 ，Peano2 ，ℕ. ，INDC ，+𝕄 ，⋅𝕄 ，ℙ.' ，\(0 \in \mathbb{M}\) ，choose𝕄 ，choose∈𝕄 ，Lnn