Proposition: Summe über den oberen Index

Für den Binomialkoeffizienten gilt: