Доказательства свойств сочетаний в комбинаторике: ключевые теоремы