A necessary second order optimality condition in nonsmooth matheatical programmin