Kurs:Analysis/Binomialkoeffizient/Summe in Pascaldreieck/Fakt/Faktreferenznummer

Lemma 3.8 (Analysis (Osnabrück 2021-2023))