Proposition: Binomialkoeffizient binäre Identität

Für den Binomialkoeffizienten gilt: