Proving mathematically that the derivative of the function a^x is (a^x)ln(a).