Kurs:Diskrete Mathematik/Binomialkoeffizient/Summe in Pascaldreieck/Fakt/Faktreferenznummer

Lemma 2.16 (Diskrete Mathematik (Osnabrück 2020))