The second welfare theorem and the core-equivalence theorem have been proved to be fundamental tools for obtaining equilibrium existence theorems, especially in an infinite dimensional setting. For well-behaved exchange economies that we call proper economies, this paper gives (minimal)...