Necessary conditions for an extremum. (2020)