Prove d dx