Inverse property of indefinite integrals:
Discussion: