Proof: d/dx(e^x) = e^x