The bilevel program is an optimization problem in which the constraint involves solutions to a parametric problem. It well known that value function reformulation provides equivalent single-level problem, but it results nonsmooth never satisfies usual qualification, such as Mangasarian–Fromovitz qualification (MFCQ). In this paper, we show even first order sufficient condition for metric subreg...