“…Theorem 1: Let P, p, and β be a solution of (5), D j and a j be a solution of (9) for every SSU j and d be a solution of (14). Then the point (P * , p * , β * , D * , a * , d * ) is a SPE point for DSG if for any possible solution (P, p, β, D, a, d), the following conditions hold: a * , d).…”