We are told that:	The derivative of x^3 is 3x^2.
In other words:	An antiderivative of 3x^2 is x^3.
In symbols:	3x^2 dx = x^3 + C