An Equilibrium Is Efficient If