[Лекция 8] Написал доказательство теоремы. Уже почти всё.