Proof

  1. Assume is differentiable
  2. Then