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 ...