Derivative and Limit Proofs