"If it is solvable then its optimal solution is a feasible solution of the original bilevel pro- gramming problem." . . . .