Jeżeli funkcja ffff określona w pewnym otoczeniu punktu x0x_0x0x_0 ma w tym punkcie pochodną oraz ekstremum lokalne, to: