Higher order optimality conditions with an arbitrary non-differentiable function. (1st November 2016)