Свойство аддитивности определенного интеграла