Докажите,что функция y= -2x^9-7ctgх+xinx-x+5 является первообразной для функции у= - 18х^8+7/sin^2x+ inx

F' = y
F' = -2*9*x^8 - 7*(-1/sin^2(x)) + (lnx + x*1/x) - 1 = -18x^8 + (7/sin^2(x)) + lnx - что и требовалось доказать