For a finite game, let range over all pure strategy strategy profiles, and let be player 's probability of choosing . Under independent mixed strategies, the probability of is . The displayed sum is the expected value of player 's payoff. Holding everyone else's mixed strategy fixed makes a linear function of ; this is why checking pure strategy deviations suffices to check all mixed strategy deviations.
New to topics? Read the docs here!