Binomialkoeffizienten Rekursionsformel beweisen.

Fakultät mit Eigenschaften 0! = 1 und ∀n ∈ ℕ₀gilt (n + 1)! = (n + 1) × n!

Binomialkoeffizient (n,k mit n,k ∈ ℕ₀; n ≥ k) := $\tfrac{n!}{(n-k)! \cdot k!}$