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