Функция y=F(x) является первообразной для функции y=f(x), если F' (x)=f (х) F' (x)=(0,2x^5-x^3+7)'=х^4-3x^2=f (х). Что и требовалось доказать.
