Abstract
A simple algebraic condtion on the intrinsic derivative ⊢;2 f(a) of a differentiable map f at a point n is shown to assure identification between the contingent cone at x of the level surface W through a and the null cone of ⊢2 f(a). We exploit this fact for finding necessary optimality conditions of first and second order for a differentiable functional J on W at a