Обозначим утверждение «точка является точкой экстремума гладкой функции» через А, утверждение «производная функции в данной точке равна нулю» через В. Тогда в теореме «производная гладкой функции в точке экстремума равна нулю» условие …
А необходимо для В
В достаточно для А
А достаточно для В
В необходимо для А