Definition

If a function has a local Extremum at an interior point of its domain and if the first partial derivatives exist there, then