Satz 2.11
Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 2 Binomialkoeffizient/Explizit/Teilmengenanzahl/Fakt