Another way to see this
Recall
, where is a constant
Since can be integrated by makin' a substitution defined by , it yields
Since two antiderivatives of a function can differ at most by a constant, there must exist a constant such that
Evaluating this equality for
Therefore