Доказательство теоремы