Proving the existence of equilibrium having specified properties is often synonymous with proving the result in trade theory. The Grandmont-McFadden proposition that any autarkic allocation can be replaced by a Pareto ...