The indefinite integral of f is the family of functions F whose derivative is f. Since the derivative of a constant is zero, if F is an antiderivative then F + C is too, for any number C. That is why ∫ 2x dx = x² + C: x² + 1 and x² − 7 also have derivative 2x. The constant can only be pinned down with an extra condition, such as F(0) = 3.