Let p∗ be a Nash Equilibrium and i∈N be any player. For every s,t∈spt(pi∗) Ui(s,p−i∗)=Ui(t,p−i∗) For every s∈spt(pi∗) Ui(s,p−i∗)=Ui(p∗)