интегрирование проверяется дифференцированием
а так на правду похоже