Лекция 9. Доказательство теоремы об однородных многообразиях