Proofs of Derivatives of Ln(x) and e^x