Why is
\int f(x)dx
called the antiderivative? Use definitions, an example or use symbols and reasoning to explain why they are equivalent statements.