Proof: The Derivatives of sin x and cos x