Derivative Of Ex Proof