Lemma 2.16
Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 2 Binomialkoeffizient/Summe in Pascaldreieck/Fakt