Derivative at Maximum or Minimum

Theorem
Let $f$ be a real function which is differentiable on the open interval $\openint a b$.

Let $f$ have a local minimum or local maximum at $\xi \in \openint a b$.

Then:
 * $\map {f'} \xi = 0$