Apply reversal of limits (#556)

Apply reversal of limits (#556)

Use ∫abf(x) dx=−∫baf(x) dx\int_a^b f(x) \, dx = -\int_b^a f(x) \, dx.