“…If (x 1 ,x 2 ) ∈ R n 1 × R n 2 is an equilibrium, and the constraints of the first problem in (1) with x 2 =x 2 satisfy an appropriate constraint qualification (CQ) [37] atx 1 , while the constraints of the second problem in (1) with x 1 =x 1 satisfy a CQ atx 2 , then there exists (μ 1 ,μ 2 ) ∈ R m × R m such that (x 1 ,x 2 ,μ 1 ,μ 2 ) solves (2). Conversely, if f 1 (·, x 2 ) and the components of g(·, x 2 ) are convex for each x 2 ∈ R n 2 , while f 2 (x 1 , ·) and the components of g(x 1 , ·) are convex for each x 1 ∈ R n 1 , then for every solution (x 1 ,x 2 ,μ 1 ,μ 2 ) of (2) it holds that (x 1 ,x 2 ) is an equilibrium. In particular, under the appropriate assumptions, by estimating the distance to the solution set of (2) one also estimates the distance to the solution set of GNEP (1).…”