Внесены правки, найденный при перечитывании до теоремы 2.5