Dodán důkaz spodního odhadu kombinačního čísla.
Pojmenovány věty a lemmátka u KPR.