Antiderivatives

• Why Is the Derivative of an Antiderivative Equal to the Original Function?
  An antiderivative F satisfies F′ = f by definition. The Fundamental Theorem of Calculus proves this for F(x) = integral from a to x of continuous f.