3.05 Inverse Derivative Rule