Fermat's theorem
The usefulness of derivatives to find extrema is proved mathematically by Fermat's theorem of stationary points.