Условие:
It can never happen that in a simultaneous move game there are two pure strategy NE such that one provides higher payoffs for all the players than the other one. The proof looks like this: every player will be better off by deviating from the low-payoff to high-payoff NE, which implies that low-payoff case does not satisfy a definition of NE.

