  Working in point-free topology under the constraints of geometric logic, we
prove the Fundamental Theorem of Calculus, and apply it to prove the usual
rules for the derivatives of $x^\alpha$, $\gamma^x$, and $\log_\gamma x$.
