Leibniz' rule allows us to take the derivative of an integral, where the derivative and the integral are performed using different variables:
