13.80. 3.Теоремы сложения