, ? m (p m , p m , x m , p m ) < ? m (p, x)

, After some algebras, we obtain that P (N ) < (N ? 1) which proves the proposition. Then, the decision vector where each CP does not make an agreement is a Nash equilibrium