Derivatives and Proof